================================================
 MediaWiki Extension: EditWarning
================================================

Author: Thomas David (ThomasDavid@gmx.de), idea-sketch.com
Version: 0.3.7-is6
Date: 2013-12-04
Licence: GNU GPL 2.0 or later

If the user opens a page for editing which is being edited by another user
at the same time this extension displays a warning on the editing page.

Notice: It's not recommend to use this extension if anonymous users
are allowed to edit pages, because it ignores anonymous page edits.

===== Installation =====

Copy the extension folder into your mediawiki extension directory.

Add the following line to your LocalSettings.php:

require_once( "$IP/extensions/ISWiki/ISEditWarning/EditWarning.php" );


Note: when changing the extension folder, you also have to set the $wgEditWarningPath accordingly (default $wgScriptPath . '/extensions/ISWiki/ISEditWarning/').


Run update.php in your MediaWiki installation's maintenance folder to create the needed database table.