Manual:emptyUserGroup.php
From Linux Web Expert
<td class="mw-version-versionbox" title="<translate nowrap> The latest stable version is <tvar name=1>1.41</tvar></translate>">
<translate> ≥</translate> 1.32
<translate> MediaWiki version:</translate> |
MediaWiki ファイル: emptyUserGroup.php | |
---|---|
場所: | maintenance/ |
ソース コード: | master • 1.41.1 • 1.40.3 • 1.39.7 |
クラス: | EmptyUserGroup |
詳細
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 | <translate> Required</translate> |
使用法
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 (").