Extension:GlobalUserrights

Manuel des extensions MediaWiki

GlobalUserrights État de la version : stable
Implémentation	Page spéciale
Description	Facilite la gestion des droits utilisateurs globaux grâce à Special:GlobalUserrights
Auteur(s)	Mainframe98, Nathaniel Herman (Pinkydiscussion)
Dernière version	1.5.0 (2017-10-02)
MediaWiki	1.15+
Modifie la base de données	Oui
Tables	global_user_groups
Licence	Licence publique générale GNU v2.0 ou supérieur
Téléchargement	Télécharger l'extension Git [?]: Télécharger la branche master de Git parcourir le dépôt (GitHub) historique des validations (commits) contributeurs du dépôt (GitHub) relecture du code
Droits ajoutés userrights-global
Accroches utilisées LoadExtensionSchemaUpdates SiteStatsNumberInGroup SpecialListusersQueryInfo UserEffectiveGroups UserIsBot UsersPagerDoBatchLookups
Téléchargements trimestriels	8 (Ranked 141st)
Utilisé par les wikis publics	1,228 (Ranked 215th)
Traduire l’extension GlobalUserrights sur translatewiki.net si elle y est disponible

L'extension GlobalUserrights rend possible l'utilisation de groupes utilisateurs globaux et permet de les gérer facilement via Special:GlobalUserrights. Les modifications des appartenances aux groupes globaux sont journalisées dans Special:Log/gblrights (même endroit que CentralAuth ). Cette extension est utilisée conjointement avec $wgSharedDB .

Installation

• Téléchargez et placez le(s) fichier(s) dans un répertoire appelé GlobalUserrights 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/GlobalUserrights
• Ajoutez le code suivant à la fin de votre fichier LocalSettings.php  :

  wfLoadExtension( 'GlobalUserrights' );
  

• Exécutez le script de mise à jour qui va créer automatiquement les tables de base de données dont cette extension a besoin.
• Assurez-vous que global_user_groups est une table partagée en l'ajoutant à $wgSharedTables dans LocalSettings.php - p.ex.
  $wgSharedTables[] = 'global_user_groups';
• Assurez-vous de donner le droit userrights-global aux utilisateurs qui ont besoin d'accéder à Special:GlobalUserRights ; par défaut, le groupe staff possède ce droit d'utilisateur. Si vous souhaitez autoriser les administrateurs à accéder à la page spéciale, vous pouvez ajouter les éléments suivants au fichier de configuration : $wgGroupPermissions['sysop']['userrights-global'] = true;
•  Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.

Utilisation

1. Allez à Special:GlobalUserrights.
2. Entrez le nom d'utilisateur de l'utilisateur dont vous souhaitez modifier les droits globaux.
3. Utilisez l'interface pour ajouter ou supprimer des groupes globaux à/de l'utilisateur et enregistrer.

Messages système

Les nouveaux messages système suivants sont définis par cette extension:

Message	Valeur par défaut	Description
globaluserrights	Gestion des droits d'utilisateurs :	Titre de page spécial affiché sur Special:SpecialPages et sur Special:GlobalUserrights
gur-desc	Administration facile droits utilisateur globaux	Description de l'extension affichée sur Special:Version
gur-rightslog-name	Journal des droits globaux	Titre du journal pour Special:Log/gblrights, journal dans lequel sont stockées les modifications des droits d'utilisateur globaux. Cela sera également affiché dans le menu déroulant sur Special:Log
gur-rightslog-header	Voici un journal des changements apportés aux droits mondiaux.	Affiché sur Special:Log/gblrights, expliquant le but de ce journal.
gur-rightslog-entry	membre du groupe global modifié pour $1, de $2 à $3	Entrée de journal générée par cette extension lorsque les groupes globaux d'un utilisateur sont modifiés. $1 est l'utilisateur dont les groupes ont été modifiés, $2 est le tableau des anciens groupes et $3 est le tableau des nouveaux groupes.
logentry-gblrights-rights	$1 changé appartenance au groupe global pour $3 de $4 à $5	Nouvelle entrée de journal de style générée par cette extension lorsque les groupes globaux d'un utilisateur sont modifiés. $1 est l'utilisateur qui a changé le droit, $2 est le sexe de l'utilisateur, $3 est l'utilisateur dont les groupes ont été modifiés, $4 est le tableau des anciens groupes, $5 est le tableau des nouveaux groupes et $6 est le sexe de l'utilisateur dont les groupes ont été modifiés.
right-userrights-global	Gérer les droits d'utilisateur globaux	Description du droit d'utilisateur, sera affiché sur Special:ListGroupRights