Manual:emptyUserGroup.php
Appearance
MediaWiki version: | ≥ 1.32 |
MediaWiki file: emptyUserGroup.php | |
---|---|
Location: | maintenance/ |
Source code: | master • 1.43.0 • 1.42.4 • 1.39.11 |
Classes: | EmptyUserGroup |
Details
[edit]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.
Options/Arguments
[edit]Option | Description | Required? |
---|---|---|
<groupname> | Group name to be removed | Required |
Usage
[edit]php maintenance/run.php emptyUserGroup <groupname>
In MediaWiki version 1.39.10 and earlier, you must invoke maintenance scripts using
php maintenance/scriptName.php
instead of php maintenance/run.php scriptName
.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 (").