RestAuth (MediaWiki Extension)

Aus Free Software
Zur Navigation springen Zur Suche springen
Manual on MediaWiki Extensions
List of MediaWiki Extensions
Crystal Clear action run.png

Release status: stable

Implementation User identity, User rights
Description This allows MediaWiki to authenticate against the RestAuth shared authentication service.
Author(s) Mathias Ertl (Mati talk)
Version 0.9 (2011-03-16)
MediaWiki 1.16.3 or later
License GPL v3 or any later version.
Download see Download
Parameters $wgRestAuthHost, $wgRestAuthService, $wgRestAuthServicePassword, $wgRestAuthRefresh, $wgRestAuthGlobalOptions, $wgRestAuthIgnoredOptions
Example see Example
Hooks used


The RestAuth MediaWiki extension integrates MediaWiki with the RestAuth project. It uses all features of the RestAuth protocol (authentication, authorization and preferences).


The source code of this extension was hosted on, a project no longer maintained. Since this extension was so old, the git repository was not transfered to any other repository and the source code is no longer available.

Installation & Configuration

After downloading the extension, you need to include RestAuth.php in your LocalSettings.php file and set a few required settings:

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

# RestAuth service details:
$wgRestAuthHost = '';
$wgRestAuthService = '';
$wgRestAuthServicePassword = 'random-password';

# Needs to be *after* the settings above:
$wgAuth = new RestAuthPlugin();

# Optional Settings:

# How often do you want to update settings from the shared authentication server:
#$wgRestAuthRefresh = 360;

# You can add MediaWiki settings here so they are saved as global option and may be used by other systems. By default, language, real name, email and email_confirmed are synchronized to global settings:
#$wgRestAuthGlobalOptions['some setting'] = true;

# If you want the plugin to completely ignore some settings, you can add them here. By default, only the watchlist token is ignored.
#$wgRestAuthIgnoredOptions[] = 'ignored setting';


This Wiki is one of the Wikis that uses our own RestAuth server. Feel free to create an account here and then log in at, for example,

Try updating preferences in this Wiki (try setting real name, email address or column width). All your preferences and groups are saved on the RestAuth server. The MediaWiki plugin updates preferences every five minutes by default (see $wgRestAuthRefresh above), so it will take a little while for your preferences to become visible in another wiki. If you logout and login again or view the preferences page, all your settings are immediately synchronized.


  • first version documented here.


  • Nothing on the ToDo pile right now.


GPL v3 or any later version.