Handbuch:EmptyUserGroup.php
Appearance
MediaWiki Version: | ≥ 1.32 |
MediaWiki-Datei: emptyUserGroup.php | |
---|---|
Speicherort: | maintenance/ |
Quellcode: | master • 1.42.3 • 1.41.4 • 1.39.10 |
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/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 (").