RestAuth (MediaWiki Extension)
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)|
|MediaWiki||1.16.0 or later|
|License||GPL v3 or any later version.|
|Parameters||$wgRestAuthHost, $wgRestAuthService, $wgRestAuthServicePassword, $wgRestAuthRefresh, $wgRestAuthGlobalOptions, $wgRestAuthIgnoredOptions|
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 git.fsinf.at, 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 = 'https://auth.example.com'; $wgRestAuthService = 'example.com'; $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, vowi.fsinf.at.
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.