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	Download extension Git [?]: Download Git master browse repository (Phabricator · GitHub) commit history repository contributors (GitHub) code review
Parameters $wgAjaxShowEditorsTimeout
Hooks used PageContentSave BeforePageDisplay EditPage::showEditForm:initial LoadExtensionSchemaUpdates
Quarterly downloads	5 (Ranked 134th)
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

• 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

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.