Manual:EmptyUserGroup.php/ja
| MediaWiki バージョン: | ≧ 1.32 |
| MediaWiki ファイル: emptyUserGroup.php | |
|---|---|
| 場所: | maintenance/ |
| ソース コード: | master • 1.44.0 • 1.43.3 • 1.39.13 |
| クラス: | 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 | 必須 |
使用法
php maintenance/run.php emptyUserGroup <groupname>
MediaWiki バージョン 1.39.13 以前では、メンテナンス スクリプトを
php maintenance/run.php スクリプト名 ではなく php maintenance/スクリプト名.php を使用して実行する必要があります。Terminal
$ php maintenance/run.php emptyUserGroup 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 (").