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>