RestAuth (MediaWiki Extension): Unterschied zwischen den Versionen

Aus Free Software
Zur Navigation springen Zur Suche springen
Zeile 14: Zeile 14:
 
|version    = 0.9
 
|version    = 0.9
 
|update      = 2011-03-16
 
|update      = 2011-03-16
|mediawiki  = 1.16.0 or later
+
|mediawiki  = 1.16.3 or later
 
|license    = {{License}}
 
|license    = {{License}}
 
|download    = see [[#Download|Download]]
 
|download    = see [[#Download|Download]]

Version vom 17. März 2011, 16:58 Uhr

Manual on MediaWiki Extensions
List of MediaWiki Extensions
Crystal Clear action run.png
RestAuth

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
Documentation
Changelog
Parameters $wgRestAuthHost, $wgRestAuthService, $wgRestAuthServicePassword, $wgRestAuthRefresh, $wgRestAuthGlobalOptions, $wgRestAuthIgnoredOptions
Example see Example
Hooks used

UserAddGroup
UserRemoveGroup
UserSaveSettings
UserSaveOptions
BeforeInitialize

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

Download

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';

Example

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.

Changelog

0.9
  • first version documented here.

ToDo

  • Nothing on the ToDo pile right now.

Licence

GPL v3 or any later version.