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	5 (Ranked 166th)
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 place the file(s) in a directory called BatchUserRights in your extensions/ folder.
• Add the following code at the bottom of your LocalSettings.php :

  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.

To users running MediaWiki 1.29 or earlier:

The instructions above describe the new way of installing this extension using wfLoadExtension(). If you need to install this extension on these earlier versions (MediaWiki 1.29 and earlier), instead of wfLoadExtension( 'BatchUserRights' );, you need to use:

require_once "$IP/extensions/BatchUserRights/BatchUserRights.php";