Handbuch:EmptyUserGroup.php
| MediaWiki Version: | ≥ 1.32 |
| MediaWiki-Datei: emptyUserGroup.php | |
|---|---|
| Speicherort: | maintenance/ |
| Quellcode: | master • 1.46.0 • 1.45.4 • 1.43.9 |
| Klassen: | 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.
Optionen/Argumente
| Option | Beschreibung | Notwendig? |
|---|---|---|
| <groupname> | Group name to be removed | Notwendig |
Verwendung
php maintenance/run.php emptyUserGroup <groupname>
In MediaWiki version MediaWiki 1.39 and earlier, you must invoke maintenance scripts using
php maintenance/scriptName.php instead of php maintenance/run.php scriptName.Terminal
$ php maintenance/run.php emptyUserGroup 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 (").