| MediaWiki version: | ≥ 1.32 |
| MediaWiki file: emptyUserGroup.php | |
|---|---|
| Location: | maintenance/ |
| Source code: | master • 1.40.0 • 1.39.4 • 1.35.11 |
| 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
This article is issued from Mediawiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.