Manual:emptyUserGroup.php

From Linux Web Expert

Revision as of 22:02, 1 January 2023 by imported>Shirayuki (wrong markup)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

<td class="mw-version-versionbox" title="<translate nowrap> The latest stable version is <tvar name=1>1.41</tvar></translate>">
<translate> ≥</translate> 1.32
<translate> MediaWiki version:</translate>

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 <translate> Required</translate>

Usage

php maintenance/emptyUserGroup.php <groupname>
Terminal
If name of the group contains whitespace, it should be enclosed in double quotes (").

See also