MediaWiki修改用户名

搭了个MediaWiki,注册用户名，取名？用脸滚一个。
后来发现必须用这个用户名作为登录名，而脸太大，所以不小心用户名写长了，怎么办？改！

这东西是存储在mysql的(当然可以放其它数据库，其实都一样)。所以直接进mysql查看。
第一个看的是user这个table,（当然，有些要加前缀的，就是“前缀user”这张表了）。
更新条数据：

update user set user_name = "新名字" where user_id = 1;

然后妥妥的登录，然后发现修改失败 — 我去，这么犀利。果断google。但google了下，发现全是要改口令的，偶尔有改名字的还是不知道在想点什么。修改很多次关键词，终于在第好几页找到个哥们也修改名字，尝试了下，发现这个靠谱。
如诸位所知，MediaWiki是一个记录各种散装信息的好同志，所以我在搭建好东西后立马进去修改了下首页什么的，结果这位好同志把我的记录信息都保存下来了。换言之，用户名都被各种记录在了revision里面，每当登录的时候，系统会检查下user表里面的东西和其它东西是否对的上，如果对不上，直接就把俺的辛苦劳动给咔嚓掉了。
所以斩草要除根，杀人要见血，修改user表后，记录相关revision表的内容也要修改下。
以下就是修改人名的全部的SQL语句：

update user set user_name = '新名字' where user_name = '旧名字';
update revision set rev_user_text = '新名字' where rev_user_text = '旧名字';
update recentchanges set rc_user_text = '新名字' where rc_user_text = '旧名字';

重复提醒下：记得表名的前缀别忘了。
此外，还需要注意一点：
如果你用脸滚键盘的时候，名字是英文的，你这里面的内容应该
首字母大写 — 对，MediaWiki就是这么设置的，小写开头的用户名，它全都设为首字母大写往里面查，微蛋疼。
References

Changing mediawiki user name