Extension:GroupPermissionsManager

What can this extension do?
This extension allows modifying the underlying Group Permissions via a special page interface. It accomplishes this by writing a PHP file in a /config subdirectory of the extension. It's easy-to-use User Interface gives an alphabetical listing of all rights that can be assigned with radio button toggles, as well as being aware of whether it is modifying an existing group or adding a new one. Deletion of groups is also possible, but this extension will not remove users from the deleted groups. Also, certain core groups ( *, user, autoconfirmed, and emailconfirmed) are unable to be deleted via this interface. Modifications made via this extension may be privately logged in the filesystem (see $wgGPManagerEnableLogging).

Usage
Browse to Special:Grouppermissions (will be listed under Restricted Special Pages), and enter in a group name. If the group doesn't exist, an alphabetical listing of all assignable rights is given, each set by default at 'inherit'. If the group does exist, an alphabetical listing of all assignable rights is given with each set at the current value of that right (so if 'sysop' could 'delete', that would be shown as 'true'). If the group exists and it is deletable (see above section), then a group deletion form is displayed as well. Change the values you want, enter a comment, and click the confirm button. An explanation of the three toggle options is below:
 * True: Any user in that group has that right.
 * False: The group does not have the right (overrides previous trues of that right, e.g. in DefaultSettings.php and LocalSettings.php)
 * Inherit: The group may not have the right, depending on if it is set to true elsewhere, such as DefaultSettings.php or LocalSettings.php. If it isn't set elsewhere, the group doesn't have the right.

Download instructions
Please cut and paste the code found below and place it in,  , and. Note: $IP stands for the root directory of your MediaWiki installation, the same directory that holds LocalSettings.php. Then, create the directory  and make it writable by the webserver (this is very important, this extension will not work unless you do this!)

Installation
To install this extension, add the following to LocalSettings.php:

Then, browse to your wiki's Special:Version to confirm installation of the extension.

User rights
The grouppermissions right is required to use this extension. It is given to bureaucrats by default, but you may wish to change this. Edit the GPManager.php file's $wgGroupPermissions line to change to the group you want.

$wgGPManagerEnableLogging
Default value: true

$wgGPManagerEnableLogging is a toggle for the private logging of actions taken via this interface. If true, all actions will be logged in path_to_extension/config/GroupPermissionsLog.log and all old revisions of the file kept at path_to_extension/config/GroupPermissionsRevision. .php. If false, nothing is logged, but old logs and revisions are kept. If an integer, the log and the number of old revisions kept will be truncated to that integer.

If you want to change this, edit the GPManager.php file's $wgGPManagerEnableLogging line to change it.