Extension:Info

Manuel des extensions MediaWiki

Info État de la version : instable
Implémentation	Interface utilisateur
Description	Ajoute un onglet info sur toutes les pages standard, afin d'afficher rapidement des informations
Auteur(s)	Suriyaa Sundararuban (Suriyaa Kudodiscussion)
Maintenance	Suriyaa Sundararuban
Dernière version	2.0.0 (2019-06-08)
MediaWiki	1.29+
PHP	5.6+
Modifie la base de données	Non
Licence	Licence publique générale GNU v2.0 ou ultérieur
Téléchargement	GitHub: page du projet URL du dépôt git [aide ] historique des validations Note : Aucune mise à jour de localisation n'est fournie par translatewiki.net .
Accroches utilisées SkinTemplateNavigation LocalisationCacheRecache

L'extension Info ajoute un onglet d'information sur toutes les pages standard, ce qui nous permet d'afficher les informations du site rapidement.

Installation

• Télécharger et placez le(s) fichier(s) dans un répertoire appelé Info dans votre dossier extensions/.
• Seulement lorsque vous installez à partir de Git, exécutez Composer pour installer les dépendances PHP, en entrant composer install --no-dev après vous être positionné dans le répertoire de l'extension. (Voir tâche T173141 pour des complications potentielles.)
• Ajoutez le code suivant à la fin de votre fichier LocalSettings.php  :

  wfLoadExtension( 'Info' );
  

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

Configuration

Cette extension est associée aux droits utilisateur particuliers info pour permettre un contrôle plus fin de son utilisation. Par défaut il sont assignés au groupe utilisateur user, c'est à dire à tous les utilisateurs qui ont un compte et qui sont connectés avec. Dans le cas où vous voudriez l'assigner aussi aux utilisateurs anonymes pour qu'ils puissent utiliser la fonctionnalité d'affichage des informations de page, sans avoir besoin de les poster, ajoutez le code suivant à votre fichier LocalSettings.php juste après avoir appelé cette extension :

$wgGroupPermissions['*']['info'] = true;

Pour supprimer l'autorisation du groupe utilisateur user et la transférer au même moment uniquement au groupe utilisateur sysop, vous pouvez ajouter les deux lignes suivantes :

$wgGroupPermissions['user']['info'] = false;
$wgGroupPermissions['sysop']['info'] = true;