Extension:BatchUserRights
From mediawiki.org
This extension is currently not actively maintained! Although it may still work, any bug reports or feature requests will more than likely be ignored.
If you are interested in taking on the task of developing and maintaining this extension, you can request repository ownership. As a courtesy, you may want to contact the author. You should also remove this template and list yourself as maintaining the extension in the page's {{Extension }} infobox.
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 (SColombo talk ) |
| Latest version | 1.2.0 (2017年11月16日) |
| MediaWiki | 1.29+ |
| Database changes | No |
|
|
|
batchuserrights |
|
| Licence | GNU General Public License 3.0 or later |
| Download | |
| 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
BatchUserRightsfolder to yourextensions/directory.
Developers and code contributors should install the extension from Git instead, using:cdextensions/ gitclonehttps://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:Versionon your wiki to verify that the extension is successfully installed.