Extension:AjaxShowEditors

Manuel des extensions MediaWiki

Ajax Show Editors État de la version : stable
Implémentation	Base de données , Activité utilisateur , Ajax
Description	Affiche qui modifie une page que vous modifiez.
Auteur(s)	Antoine Musso, Tim Starling, Jack Phoenix
Dernière version	2.0 (2020-11-13)
MediaWiki	1.43.6+
Modifie la base de données	Oui
Tables	editings
Licence	Licence publique générale GNU v2.0 seulement
Téléchargement	Télécharger l'extension Git [?]: parcourir le dépôt (Phabricator · GitHub) relecture Gerrit du code historique Git des validations (commits) Télécharger le tarball source
Paramètres $wgAjaxShowEditorsTimeout
Accroches utilisées PageContentSave BeforePageDisplay EditPage::showEditForm:initial LoadExtensionSchemaUpdates
Traduire l’extension AjaxShowEditors sur translatewiki.net si elle y est disponible

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

• Téléchargez et placez le(s) fichier(s) dans un répertoire appelé AjaxShowEditors dans votre dossier extensions/.
  Les développeurs et les contributeurs au code doivent à la place installer l'extension à partir de Git en utilisant:

  cd extensions/
  git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/AjaxShowEditors
  

• Ajoutez le code suivant à la fin de votre fichier LocalSettings.php  :

  wfLoadExtension( 'AjaxShowEditors' );
  

• Exécutez le script de mise à jour qui va créer automatiquement les tables de base de données dont cette extension a besoin.
• Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.

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.