Extension:EditWarning

What can this extension do?
On pages which are being edited by many users simultaneously edit conflicts can easily happen. This extension tries to avoid this problem by showing a warning message if the user edits a page that is being edited by other users at the same time. It's very similar to the MoinMoin Wiki warning with the difference that it doesn't lock the page (but this feature is planned).

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

Use case
Alice opens the page "FooBar" for editing. Now Bob wants edit the page too. He gets a warning message that says Alice is currently editing the page. At this point Bob may decide to make his changes later or he contacts Alice to discuss his changes with her.

Licence
GNU GPL Version 2.0 or later. (http://www.gnu.org/licenses/gpl.html)

Installation
CREATE TABLE `current_edits` ( `id` int(10) unsigned NOT NULL auto_increment,  `page_id` int(10) unsigned NOT NULL,  `user_id` int(10) unsigned NOT NULL,  `user_name` varchar(255) character set latin1 collate latin1_bin NOT NULL,  `timestamp` int(10) unsigned NOT NULL,  PRIMARY KEY  (`id`) ) ENGINE=MyISAM DEFAULT CHARSET=latin1;
 * Move the folder "EditWarning" to the "extensions" folder of your MediaWiki installation.
 * Execute the following SQL statement in your MediaWiki database:
 * Add the following to LocalSettings.php:

Known Issues

 * The extension doesn't recognize when the user cancels the editing of a page. So until the regular timeout of 10 minutes, the extension will display a warning.