User:Eisheeta/Sandbox/maintenance/emptyUserGroup.php
| MediaWiki file: emptyUserGroup.php | |
|---|---|
| Location: | maintenance/ |
| Source code: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Classes: | EmptyUserGroup |
Details
editemptyUserGroup.php file is a maintenance script that removes all users from a given group.
The only parameter, in addition to standard ones, is name of the group to be removed.
See below section for example:
Usage
editphp emptyUserGroup.php "group name"
If name of the group contains whitespace, it should be enclosed in double quotes ("), as shown in example.