Extension:BatchUserRights

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	Download extension Git [?]: Download Git master browse repository (GitHub) commit history repository contributors (GitHub) code review
Parameters $wgBatchUserRightsGrantableGroups
Added rights batchuserrights
Hooks provided UserRights UserRights::groupCheckboxes
Quarterly downloads	3 (Ranked 136th)
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

• 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',
  );
  

•  Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.