Jump to content

Extension:BatchUserRights

From mediawiki.org
MediaWiki extensions manual
BatchUserRights
Release status: unmaintained
Implementation Special page , User rights
Description Allows adding one or more users to a group or more groups in one action
Author(s) Sean Colombo (SColombotalk)
Latest version 1.2.0 (2017-11-16)
MediaWiki 1.29+
Database changes No
License GNU General Public License 3.0 or later
Download
  • $wgBatchUserRightsGrantableGroups
batchuserrights
Quarterly downloads 3 (Ranked 137th)
Translate the BatchUserRights extension if it is available at translatewiki.net

The BatchUserRights extension allows adding one or more users to several groups in one action.

Installation

[edit]
  • Download and move the extracted BatchUserRights folder to your extensions/ directory.
    Developers and code contributors should install the extension from Git instead, using:cd extensions/
    git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/BatchUserRights
  • Add the following code at the bottom of your LocalSettings.php file:
    wfLoadExtension( 'BatchUserRights' );
    # $wgGroupPermissions['bureaucrat']['batchuserrights'] = false; // right already given by default to bureaucrats, set this to remove permission
    # User groups which can be added through "Special:BatchUserRights" - Example:
    $wgBatchUserRightsGrantableGroups = array(
    	'bot',
    	'sysop',
    );
    
  • Yes Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.