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?
Any info is appreciated.
Thanks,
Matias