[Mediawiki-l] Announcement: A special page to rename users

[Ævar Arnfjörð Bjarmason]

I've made a special page to rename users, you can find it in
extensions/Renameuser/SpecialRenameuser.php, it only works with the
1.5 schema.

Run it at your own risk;)