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