MediaWiki extensions manual

Ajax Show Editors Release status: stableCategory:Stable extensions
Implementation	Database Category:Database extensions, User activity Category:User activity extensions, AjaxCategory:Ajax extensions
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.43.1+Category:Extensions with manual MediaWiki version
Database changes	Yes
Tables	editings
License	GNU General Public License 2.0 only
Download	Download extension Git [?]: Browse repository (Phabricator · GitHub) Gerrit code review Git commit log Download source tarball Category:Extensions in Wikimedia version control
Parameters $wgAjaxShowEditorsTimeout
Hooks used PageContentSave Category:PageContentSave extensions BeforePageDisplay Category:BeforePageDisplay extensions EditPage::showEditForm:initial Category:EditPage::showEditForm:initial extensions LoadExtensionSchemaUpdates Category:LoadExtensionSchemaUpdates extensions
Quarterly downloads	2 (Ranked 112nd)
Translate the AjaxShowEditors extension if it is available at translatewiki.net

The AjaxShowEditors 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.