j
k
j a
j l
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;)
Show replies by date
wikitech-l@lists.wikimedia.org
Add to favorites Remove from favorites