Extension:AjaxShowEditors

Ajax Show Editors extension allows you to see who is editing a page that you're editing.

Installation
Be sure to set $wgUseAjax = true; on LocalSettings.php
 * 1) Download the files from SVN
 * 2) Run patch-editings.sql
 * 3) Add require_once('extensions/AjaxShowEditors/Load.php'); to LocalSettings.php
 * 4) Installation can be verified through Special:Version