Extension:AjaxShowEditors

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  (as well as on preview,  ).

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