Как изменить имя пользователя в MediaWiki? [закрыто]

Я начал сайт, который основан на MediaWiki. По какой-то причине в имени пользователя первая буква была прописной, но я не хочу, чтобы она была заглавной (я хорошо помню, как написал ее в нижнем регистре).

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

Как изменить имя пользователя в MediaWiki как бюрократа?

mediawiki

— JohnDoea
источник

Вы пытались установить расширение RenameUser? mediawiki.org/wiki/Extension:Renameuser

— Даг Деден

Кроме того, имена пользователей обычно не могут начинаться со строчной буквы в Mediawiki. См. Mediawiki.org/wiki/Topic:R97c76vpuokaqby9 .

— Даг Деден

Хм, я не пробовал и не знал этого. Спасибо.

— JohnDoea

Что ж, я заметил, что можно войти в систему с именем пользователя в нижнем регистре (возможно, из-за какого-то метода JavaScript), поэтому еще менее проблематично получить его в верхнем регистре после входа в систему. Любой, кто публикует ответ, может захотеть отметить это внутри ответа (комментарии могут быть удалены в будущем).

— JohnDoea

Расширение RenameUser позволит вам, как бюрократу, переименовать пользователя.

Однако имена пользователей обычно не могут начинаться со строчной буквы в Mediawiki ( более подробная информация здесь ).

Если причина, по которой вас волнует первая буква вашего имени пользователя, связана с тем, как она отображается на вашей странице пользователя ( http://wiki.example.com/wiki/User:yournamehere), попробуйте добавить {{lowercase}}шаблон в содержимое этой страницы. Это приведет к тому, что первая буква в заголовке страницы будет отображаться в нижнем регистре. Больше информации здесь .

— Дуг Деден
источник

Здравствуйте, что это за {{lowercase}}синтаксис? Редактирование может помочь. Кстати, я поднял палец вверх.

— JohnDoea