Я настроил Mediawiki 1.15.1 для клиента, который по ошибке добавил двух пользователей. Теперь они хотят скрыть этих пользователей из списка пользователей.
Похоже, что это делается с помощью массива $wgGroupPermissions с $wgGroupPermissions['suppress']['hideuser'] = true;, но не совсем понятно, какая запись нужна для скрытия или есть ли новая группа («скрытая» или что-то еще) должен быть создан сначала с $wgAddGroups['bureaucrat'] = true;.
На данный момент я добавил двух пользователей, которые будут скрыты, в группу «Надзор», которая объясняет «Блокировать имя пользователя, скрывая его от общественности (hideuser)», но они по-прежнему отображаются на странице Special: ListUsers.
В недоумении относительно того, как массивы MediWiki изменяют параметры, отображаемые в интерфейсе, до сих пор я добавил это к LocalSettings.php:
$wgGroupPermissions['suppress']['hideuser'] = true;
$wgAddGroups['supress'] = true;
Или - поскольку они на самом деле ничего не добавили в вики - могли бы они просто быть удалены из таблицы пользователей MySQL - хотя MediaWiki предупреждает об этом?
Кто-нибудь еще сделал это успешно?
Обновление - это дыра в админе MediaWiki (хотя есть обходные пути). См. эту ветку для пользователей MediaWIki и примечание к ответу ниже.