Manual:emptyUserGroup.php

From mediawiki.org
Other languages:
MediaWiki version:
1.32


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/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[edit]