Extension:GroupPermissionsManager/CustomToolbox

What can this plugin do?
This plugin to the GroupPermissionsManager extension allows for additional items to be added to the Toolbox.

Usage
The MediaWiki:Toolbox append message controls what additional items should be added to the end of the Toolbox. New items can be defined in the format. The URL and name are required, and the permission is optional. Any wiki markup besides the opening bullet point is not allowed.
 * item-url: the URL that the link in the Toolbox will be pointing to, may be one of the following (will be checked in the following order as well):
 * The name of a MediaWiki message
 * An internal page
 * A URL pointing to somewhere offsite
 * item-name: what will appear on-screen (and is also the ID of the item for CSS stylings). Can be one of the following (again parsed in order):
 * The name of a MediaWiki message
 * Plain text
 * permission: the permission required in order to be able to see the tab. This is optional, and if excluded, the ability to read the wiki will be checked.

An example of a few custom items follows. Please note that MediaWiki:Mainpage and MediaWiki:Mainpage-text both exist, and MediaWiki is a page on this wiki. MediaWiki:Google does not exist.
 * mainpage | mainpage-text
 * MediaWiki | The Main Page
 * http://www.google.com | google
 * Special:BlockIP | block someone! | block

This would produce four additional items in the toolbox. The first links to the main page of this wiki, since the contents of MediaWiki:Mainpage lead there. The contents of MediaWiki:Mainpage-text are displayed on the tab. The second one also links to the main page of this wiki, but is not a system message. The literal text "The Main Page" is shown in the Toolbox. The third item links to Google and has a literal "google" as the link text. The fourth links to Special:BlockIP with the literal text "block someone!", but only shows up for people who have the ability to block (sysops).

Download instructions
This plugin is a core plugin and as such is packaged with the extension. Please follow these directions to download either the full extension or just this plugin.

Installation
To install this plugin, place the .php file inside of the /plugins sub-directory of your GroupPermissionsManager extension. Then, browse to Special:Version of your wiki to confirm that "CustomToolbox" appears in there.