Extension:AjaxShowEditors

MediaWiki extensions manual
Ajax Show Editors
Release status: stable
Implementation Database , User activity , Ajax
Description Shows who is editing a page you are editing.
Author(s) Antoine Musso, Tim Starling, Jack Phoenix
Latest version 2.0 (2020-11-13)
MediaWiki 1.39.10+
Database changes Yes
Tables editings
License GNU General Public License 2.0 only
Download
  • $wgAjaxShowEditorsTimeout
Quarterly downloads 4 (Ranked 129th)
Translate the AjaxShowEditors extension if it is available at translatewiki.net

The Ajax Show Editors extension allows you to see who is editing a page that you're editing at the same time. The extension displays a box containing other users' user names on action=edit (as well as on preview, action=submit).


Installation

edit
  • Download and move the extracted AjaxShowEditors folder to your extensions/ directory.
    Developers and code contributors should install the extension from Git instead, using:cd extensions/
    git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/AjaxShowEditors
  • Add the following code at the bottom of your LocalSettings.php file:
    wfLoadExtension( 'AjaxShowEditors' );
    
  • Run the update script which will automatically create the necessary database tables that this extension needs.
  •   Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.

Configuration

edit

The extension has only one configuration variable, $wgAjaxShowEditorsTimeout; its default value is 60 (seconds); it's the timeout in seconds after which a user is considered as no longer editing the page in question.