Руководство:EmptyUserGroup.php
Outdated translations are marked like this.
Версия MediaWiki: | ≥ 1.32 |
Файл MediaWiki: emptyUserGroup.php | |
---|---|
Местоположение: | maintenance/ |
Исходный код: | master • 1.38.2 • 1.37.4 • 1.35.7 |
Классы: | EmptyUserGroup |
Подробности
$file это скрипт технического обслуживания, с помощью которого можно удалить всех членов из какой-либо заданной группы.
User rights groups are defined through $wgGroupPermissions . This script is useful when you are removing the user rights group.
Options/Arguments
Option | Description | Required? |
---|---|---|
<groupname> | Group name to be removed | Required |
Использование
php maintenance/emptyUserGroup.php <groupname>
Terminal
$ php maintenance/emptyUserGroup.php sysop Removing users from sysop... ...done! Removed 1 users in total.
Если имя группы содержит пробелы, то оно должно быть заключено в двойные кавычки ("), как показано в примере.