Extension:ChangePersonal

From MediaWiki.org

Jump to: navigation, search
Manual on MediaWiki Extensions
List of MediaWiki Extensions
changepersonal

Release status: beta
Implementation Parser extension
Description This allows personal links to be changed
Author(s) Thomas Lorentsen (matx Talk)
Version 0.9 (2007-11-15)
MediaWiki 1.11
Download See below

Contents

[edit] What can this extension do?

This is a quick extension to allow changes to personal_urls. I used this to modify the login link to point to the special page. Other personal_urls can be modifed quickly with this extension.

[edit] Usage

Install and edit or append to the extension what you need to change

[edit] Installation

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

require_once("$IP/extensions/changepersonal.php");

[edit] Code

<?
/*
 * Change Personal for changing the personal urls
 * @author Thomas Lorentsen
 * @copyright © 2007 by Thomas Lorentsen
 * @licence GNU General Public Licence 3.0 or later
*/
 
if( !defined( 'MEDIAWIKI' ) ) {
  echo( "This file is an extension to the MediaWiki software and cannot be used standalone.\n" );
  die();
}
 
$wgExtensionCredits['parserhook'][] = array(
  'name'          => 'Change Personal',
  'author'        => 'Thomas Lorentsen',
  'url'           => 'http://www.mediawiki.org/wiki/Extension:ChangePersonal',
  'description'   => "Changes the personal urls such as the login link"
);
 
function changePersonal(&$personal_urls, &$wgTitle) {
  # This points the login link at the top right to the special page
  $personal_urls['login']['href'] = './Special:Userlogin?returnto=' . $wgTitle->mUrlform;
$personal_urls['anonlogin']['href'] = './Special:Userlogin?returnto=' . $wgTitle->mUrlform;
  # Append to this as needed
  return true;
}
 
$wgHooks['PersonalUrls'][] = 'changePersonal';
 
?>

[edit] Problems

When viewing special pages, this can cause the redirection to be wrong. It has been found that using a hardcoded url works.

A better solution is needed!

[edit] See also

Retrieved from "http://www.mediawiki.org/wiki/Extension:ChangePersonal"
Personal tools