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 […]
