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.43.3+
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
Parameters $wgAjaxShowEditorsTimeout
Hooks used PageContentSave BeforePageDisplay EditPage::showEditForm:initial LoadExtensionSchemaUpdates
Quarterly downloads	0
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.