Manual:emptyUserGroup.php

This page is a translated version of the page Manual:EmptyUserGroup.php and the translation is 67% complete.
Other languages:
MediaWiki バージョン:
1.32


詳細

emptyUserGroup.php file is a maintenance script that removes all users from a given group.

User rights groups are defined through $wgGroupPermissions . This script is useful when you are removing the user rights group.

オプション/引数

オプション 説明 必須かどうか
<groupname> Group name to be removed 必須

使用法

php maintenance/emptyUserGroup.php <groupname>


Terminal
$ php maintenance/emptyUserGroup.php sysop

Removing users from sysop...
  ...done! Removed 1 users in total.

If name of the group contains whitespace, it should be enclosed in double quotes (").

関連項目