Extension:AjaxShowEditors

This page is a translated version of the page Extension:AjaxShowEditors and the translation is 100% complete.
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.39.8+
Modifie la base
de données
Oui
Tables editings
Licence Licence publique générale GNU v2.0 seulement
Téléchargement
  • $wgAjaxShowEditorsTimeout
Téléchargements trimestriels 4 (Ranked 137th)
Traduire l’extension AjaxShowEditors sur translatewiki.net si elle y est disponible

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