Jump to content

Handbuch:EmptyUserGroup.php

From mediawiki.org
This page is a translated version of the page Manual:EmptyUserGroup.php and the translation is 62% complete.
MediaWiki Version:
1.32

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
If name of the group contains whitespace, it should be enclosed in double quotes (").

Siehe auch