Related to the below - How do I delete a user?...
Thanks, Richard.
On Wed, 2004-07-07 at 12:13, Brion Vibber wrote:
Matias Pelenur wrote:
A user on my MediaWiki site would like to change their username. Is that possible, or better yet, possible and not too hard?
I'm guessing that the value in the user.user_name column for the user would have to be changed, and also the title of User page name. Hopefully any other references use the userid? Would pages have to be rebuilt?
There's a helper script for this in the maintenance directory: changeuser.sql.
<cut>