Manual:emptyUserGroup.php

MediaWiki version:

≥ 1.32

MediaWiki file: emptyUserGroup.php
Location:	maintenance/
Source code:	master • 1.42.3 • 1.41.4 • 1.39.10
Classes:	EmptyUserGroup

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 removed	Required

Usage

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 (").

See also

• Manual:User rights
• createAndPromote.php
• migrateUserGroup.php