Jump to content

Руководство:EmptyUserGroup.php

From mediawiki.org
This page is a translated version of the page Manual:EmptyUserGroup.php and the translation is 38% complete.
Outdated translations are marked like this.
Версия MediaWiki:
1.32

Подробности

emptyUserGroup.php это скрипт технического обслуживания, с помощью которого можно удалить всех членов из какой-либо заданной группы. 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 Обязательно

Использование

php maintenance/emptyUserGroup.php <groupname>
Terminal
Если имя группы содержит пробелы, то оно должно быть заключено в двойные кавычки ("), как показано в примере.

См. также