Jump to content

Extension:Info

From mediawiki.org
This page is a translated version of the page Extension:Info and the translation is 100% complete.
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

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
  • Yes 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;