Archive for the ‘Tipps’ Category

Benutzernamen ändern in MediaWiki

Von haus aus lassen sich Benutzernamen im MediaWiki nicht nachträglich ändern. In der Praxis kommt es aber immer wieder vor, dass man sich beim Anlegen vertippt, dass man einen ungewohnten Benutzernamen von einem Admin zugeteilt bekommt, oder dass sich Namenskonventionen ändern und vereinheitlicht werden. Um den Benutzer zu ändern reicht es nicht einfach aus in […]

Searchplugin: Eigene Posts schneller finden

Das eigene Weblog dient oft als Referenz zu bestimmten Themen. Gerade beim Schreiben neuer Beiträge sollte man vorher prüfen ob schon ähnliche Artikel existieren. Auf diese Artikel kann man Bezug nehmen und dem Leser ergänzende Informationen zum Thema anbieten. Dazu habe ich mein eigenes Search-Plugin für den Firefox Browser erstellt. Alles was man dazu benötigt […]