Saruman!: MediaWikiExtension GroupPermissionsManager moved to MediaWikiExtension GroupPermissionsManager2.00: Old extension replaced by new one

2009-01-22T19:39:45Z

MediaWikiExtension GroupPermissionsManager moved to MediaWikiExtension GroupPermissionsManager2.00: Old extension replaced by new one

← Older revision	Revision as of 19:39, 22 January 2009
(No difference)

Saruman!: tested OK

2009-01-21T17:27:57Z

tested OK

← Older revision		Revision as of 17:27, 21 January 2009
Line 7:		Line 7:
	* GPManager_body.php		* GPManager_body.php
	* GPManager.i18n.php		* GPManager.i18n.php
	~~These~~ three files are to be placed in ~~a subdirectory ''GPManager'' of~~ the extension directory of your Debian MediaWiki installation, presumably ''/usr/share/mediawiki-extensions''. As of the writing of this page, the files are not offered as downloads, you'll have to open an editor and cut & paste the texts. If you do this as root, the files will automatically have the right owner and permissions, but else, you'll have to make sure these three files are owned by root, and cannot be edited by anyone else. As root:		Contrary to the instructions on the extension's homepage, these three files are to be placed in the extension directory of your Debian MediaWiki installation, presumably ''/usr/share/mediawiki-extensions'' (so definately NOT in a subdirectory like ''GPManage''). As of the writing of this page, the files are not offered as downloads, you'll have to open an editor and cut & paste the texts. If you do this as root, the files will automatically have the right owner and permissions, but else, you'll have to make sure these three files are owned by root, and cannot be edited by anyone else. As root:
	cd /usr/share/mediawiki-extensions		cd /usr/share/mediawiki-extensions
	~~chown root:root GPManager~~
	~~cd GPManager~~
	chown root:root GPManager*		chown root:root GPManager*
	chmod 644 GPManager*		chmod 644 GPManager*

	Next, we have to make a small alteration to ''/usr/share/mediawiki/includes/GlobalFunctions.php'' because there's a bug in MediaWiki 1.12, and that's the version that Lenny uses. The alteration is described in [http://www.mediawiki.org/wiki/Extension:GroupPermissionsManager#Patch a patch prescription on the MediaWiki site], but in essence we add a line after line number 422: the line beginning with "wfRunHooks":		Next, we have to make a small alteration to ''/usr/share/mediawiki/includes/GlobalFunctions.php'' because there's a bug in MediaWiki 1.12, and that's the version that Lenny uses. The alteration is described in [http://www.mediawiki.org/wiki/Extension:GroupPermissionsManager#Patch a patch prescription on the MediaWiki site], but in essence we add a line after line number 422: the line beginning with "wfRunHooks":
	function wfMsgGetKey( $key, $useDB, $forContent = false, $transform = true ) {		function wfMsgGetKey( $key, $useDB, $forContent = false, $transform = true ) {
Line 19:		Line 16:

	wfRunHooks( 'NormalizeMessageKey', array( &$key, &$useDB, &$langCode, &$transform ) );		wfRunHooks( 'NormalizeMessageKey', array( &$key, &$useDB, &$langCode, &$transform ) );
	Next, we mark the extension available to MediaWiki:		Next, we create a directory where Group Permissions Manager will keep the configuration files. In the Debian style, we need something under ''/etc'' so we suggest creating ''/etc/mediawiki/config''. After that, grant the permission to write in this directory to the web server daemon, for Apache2 ''www-data''. Finally, create a symlink to this config directory in the place where GPManager actually ''expects'' it, namely in the directory where the PHP-script itself resides (here: ''/usr/share/mediawiki-extensions/''). All of this can be achieved by following these steps:
			cd /etc/mediawiki
			mkdir config
			chown www-data:www-data config
			cd /usr/share/mediawiki-extensions
			ln -s /etc/mediawiki/config
			Now we can mark the extension available to MediaWiki:
	cd /etc/mediawiki-extensions/extensions-available		cd /etc/mediawiki-extensions/extensions-available
	ln -s /usr/share/mediawiki-extensions~~/GPManager~~/GPManager.php		ln -s /usr/share/mediawiki-extensions/GPManager.php
	Then, enable the extension (~~either by using the ''mwenext'' command~~, ~~or by~~ this):		Then, enable the extension
			mwenext GPManager.php
			(Alternatively, you could just use this:)
	cd /etc/mediawiki-extensions/extensions-enabled		cd /etc/mediawiki-extensions/extensions-enabled
	ln -s ../extensions-available/GPManager.php		ln -s ../extensions-available/GPManager.php
	~~Finally, we create a directory @@@ grant the permission to @@@~~		This by default adds an extra capability to the Mediawiki administrator group "bureaucrat", of which WikiAdmin is a member - and presumably you too. The capability is to use a ''Special'' page to create, manage, and remove Wiki groups and their permissions.
	This adds ~~the @@~~ capability to the Mediawiki administrator group "bureaucrat", of which WikiAdmin is a member - and presumably you too.

	==Using the extension==		==Using the extension==
	To manage group permissions, you need the following:		To manage group permissions, you need the following:
	* your MediaWiki user account needs to be in a MediaWiki group that has been granted the right to use ~~PasswordReset~~, e.g. ''bureaucrat'' as depicted above		* your MediaWiki user account needs to be in a MediaWiki group that has been granted the right to use Group Permissions Manager, e.g. ''bureaucrat'' as depicted above;
	* you must be logged in with that MediaWiki account		* you must be logged in with that MediaWiki account;
	* you need to know d		* you need to know the name of the group whose permissions you want to manage (or create or delete).
	In the left navigation area, click on ''Special pages''; scroll down to the section ''Restricted special pages'', you should see an entry ''@@''. Click it to enter the @@ special page. ~~@@@~~		In the left navigation area, click on ''Special pages''; scroll down to the section ''Restricted special pages'', you should see an entry ''Manage Group Permissions''. Click it to enter the Manage Group Permissions special page. Here, you'll find just an empty box and a "Go" button. Fill in the name of the group you want to create/manage/delete, and click "Go".

			You'll find yourself in a long page with group permissions, each of which can be "true", "false" or "inherit". Setting a permission to "true" or "false" enables or disables the permission for this group, while leaving it on "inherit" means the group gets the default permission that MediaWiki assigns every group - just think of the default rights of the default group "users"

			Furthermore:
			* If the group pre-exists, you'll find above the list a comment box and a "Delete group" button, where you can remove the group, while leaving the comment in the ''GroupPermissionsLog.log'' log file.
			* Furthermore, if the group pre-exists, the permissions list ends with a comment box and a "Change group permissions" button. Clicking that button will change the group permissions to the set designated in the permissions list. The changes, along with all other group permissions, can be found in the ''/etc/mediawiki/config'' directory in file ''GroupPermissons.php''. Clicking the button will also have resulted in a backup of the ''GroupPermissons.php'' file in that same directory, but named ''GroupPermissons.<timestamp>.php'', e.g. ''GroupPermissions.21012009171713.php''.
			* If the group name is "new", no "Delete group" button is shown, but the permissions list ends with a comment box and an "Add group" button, which will create the group with the designated name, while leaving the comment in the ''GroupPermissionsLog.log'' log file. Again, the comment is logged, and a backup of the ''GroupPermissons.php'' file is made.

Saruman!: Page started

2009-01-20T22:11:20Z

Page started

New page

==Mediawiki Extension: Group Permissions Manager==
Sometimes you as a Mediawiki administrator might feel the need to add or remove a group, or edit a groups rights. Unfortunately, there is no such function in the MediaWiki software itself, you'd have to edit the ''LocalSettings.php'' file somehow. [http://www.imdb.com/title/tt0096928/ Bogus!] But fortunately, there now exists an extension that adds this functionality. [http://www.imdb.com/title/tt0096928/ Most excellent!]

==Adding the extension==
First, download the three files that make up the GroupPermissionsManager extension from here: [http://www.mediawiki.org/wiki/Extension:GroupPermissionsManager Mediawiki Extension:Group Permissions Manager]. The files are named
* GPManager.php
* GPManager_body.php
* GPManager.i18n.php
These three files are to be placed in a subdirectory ''GPManager'' of the extension directory of your Debian MediaWiki installation, presumably ''/usr/share/mediawiki-extensions''. As of the writing of this page, the files are not offered as downloads, you'll have to open an editor and cut & paste the texts. If you do this as root, the files will automatically have the right owner and permissions, but else, you'll have to make sure these three files are owned by root, and cannot be edited by anyone else. As root:
cd /usr/share/mediawiki-extensions
chown root:root GPManager
cd GPManager
chown root:root GPManager*
chmod 644 GPManager*

Next, we have to make a small alteration to ''/usr/share/mediawiki/includes/GlobalFunctions.php'' because there's a bug in MediaWiki 1.12, and that's the version that Lenny uses. The alteration is described in [http://www.mediawiki.org/wiki/Extension:GroupPermissionsManager#Patch a patch prescription on the MediaWiki site], but in essence we add a line after line number 422: the line beginning with "wfRunHooks":
function wfMsgGetKey( $key, $useDB, $forContent = false, $transform = true ) {
global $wgParser, $wgContLang, $wgMessageCache, $wgLang;

wfRunHooks( 'NormalizeMessageKey', array( &$key, &$useDB, &$langCode, &$transform ) );
Next, we mark the extension available to MediaWiki:
cd /etc/mediawiki-extensions/extensions-available
ln -s /usr/share/mediawiki-extensions/GPManager/GPManager.php
Then, enable the extension (either by using the ''mwenext'' command, or by this):
cd /etc/mediawiki-extensions/extensions-enabled
ln -s ../extensions-available/GPManager.php
Finally, we create a directory @@@ grant the permission to @@@
This adds the @@ capability to the Mediawiki administrator group "bureaucrat", of which WikiAdmin is a member - and presumably you too.

==Using the extension==
To manage group permissions, you need the following:
* your MediaWiki user account needs to be in a MediaWiki group that has been granted the right to use PasswordReset, e.g. ''bureaucrat'' as depicted above
* you must be logged in with that MediaWiki account
* you need to know d
In the left navigation area, click on ''Special pages''; scroll down to the section ''Restricted special pages'', you should see an entry ''@@''. Click it to enter the @@ special page. @@@

MediaWikiExtension GroupPermissionsManager2.00 - Revision history

Saruman!: MediaWikiExtension GroupPermissionsManager moved to MediaWikiExtension GroupPermissionsManager2.00: Old extension replaced by new one

Saruman!: tested OK

Saruman!: Page started