Extension:AjaxShowEditors
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.10+ |
Modifie la base de données |
Oui |
Tables | editings |
Licence | Licence publique générale GNU v2.0 seulement |
Téléchargement | |
|
|
Téléchargements trimestriels | 5 (Ranked 134th) |
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 dossierextensions/
.
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.