Я начал сайт, который основан на MediaWiki. По какой-то причине в имени пользователя первая буква была прописной, но я не хочу, чтобы она была заглавной (я хорошо помню, как написал ее в нижнем регистре).
Документация Викимедиа о том, что любой "Глобальный переименователь" или "Стюард" может изменять имена пользователей, но я не видел таких ролей на своем сайте с MediaWiki (у меня есть только "Бюрократ", "Сисоп", «Интерфейс-администратор» и "Бот").
Как изменить имя пользователя в MediaWiki как бюрократа?