Extension:GroupPermissionsManager/ExtendedPermissions

What can this plugin do?
This plugin to the GroupPermissionsManager extension implements a finer-grained permissions system into MediaWiki.

Usage
The following rights have been added or changed via this plugin:
 * viewsource:Can view page source if unable to edit the page
 * raw:Can use action=raw
 * render:Can use action=render
 * info:Can use action=info, if enabled
 * credits:Can use action=credits
 * history:Can view page history listings (as of now does not prevent viewing old versions of a page
 * search:Can search the wiki
 * contributions:Can view contributions pages, including own
 * recentchanges:Can view recent changes
 * edittalk:Can edit existing discussion pages (does not require the 'edit' permission)
 * edit:Can edit existing non-discussion pages
 * createpage:Can create non-discussion pages (does not require the 'edit' permission)
 * createtalk:Can create discussion pages (does not require the 'edit' or 'edittalk' permissions)

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 "Extended Permissions" appears in there.