Manual:EmptyUserGroup.php

MediaWiki version:
1.32
Category:MediaWiki code#EmptyUserGroup.php

Details

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

Option Description Required?
<groupname> Group name to be removedRequired

Usage

php maintenance/run.php emptyUserGroup <groupname>
In MediaWiki version 1.39.12 and earlier, you must invoke maintenance scripts using php maintenance/scriptName.php instead of php maintenance/run.php scriptName.
Terminal
If name of the group contains whitespace, it should be enclosed in double quotes (").

See also

Category:Maintenance scripts Category:User maintenance scripts
Category:Maintenance scripts Category:MediaWiki code Category:User maintenance scripts