Extension:BatchUserRights

Category:Unmaintained extensions#BatchUserRights Category:Extensions without an imageCategory:Extensions without a compatibility policyCategory:GPL licensed extensions
MediaWiki extensions manual
BatchUserRights
Release status: unmaintainedCategory:Unmaintained extensions
Implementation Special page Category:Special page extensions, User rights Category:User rights extensions
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+Category:Extensions with manual MediaWiki version
Database changes No
License GNU General Public License 3.0 or later
Download Category:Extensions in Wikimedia version control
  • $wgBatchUserRightsGrantableGroups
Quarterly downloads 0
Translate the BatchUserRights extension if it is available at translatewiki.net
Category:All extensions

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

Installation

  • 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. Category:Extensions by Fandom
Category:All extensions Category:Extensions by Fandom Category:Extensions in Wikimedia version control Category:Extensions which add rights Category:Extensions with manual MediaWiki version Category:Extensions without a compatibility policy Category:Extensions without an image Category:GPL licensed extensions Category:Special page extensions Category:Unmaintained extensions Category:User rights extensions