Jump to content

Extension:FilterSpecialPages

From mediawiki.org
This page is a translated version of the page Extension:FilterSpecialPages and the translation is 100% complete.
Manuel des extensions MediaWiki
FilterSpecialPages
État de la version : stable
Implémentation Page spéciale
Description Insère un champ pour filtrer les entrées sur la page "Special:Specialpages".
Auteur(s)
Dernière version 3.0.0-alpha
MediaWiki >= 1.39.0
Composer hallowelt/filter-special-pages
Licence Licence publique générale GNU v3.0 ou ultérieur
Téléchargement
Téléchargements trimestriels 6 (Ranked 134th)
Traduire l’extension FilterSpecialPages sur translatewiki.net si elle y est disponible

L’extension FilterSpecialPages insère un champ de filtrage sur la page Special:Specialpages.

Utilisation

Accès rapide et moins de recherche de pages spéciales : L’extension offre un champ de recherche à la page spéciale "Pages spéciales". Lors de la saisie d’une chaîne de texte pour recherche, seules les pages spéciales contenant cette chaîne de texte dans leur titre seront affichées.

Touches spéciales
  • Entrée: Ouvrez la page cible s’il ne reste qu’une entrée.
  • Esc: Mettez en surbrillance la sélection des entrées pour une réécriture plus rapide du terme recherché.

Installation

  • Téléchargez et placez le(s) fichier(s) dans un répertoire appelé FilterSpecialPages 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/FilterSpecialPages
  • Ajoutez le code suivant à la fin de votre fichier LocalSettings.php  :
    wfLoadExtension( 'FilterSpecialPages' );
    
  • Yes Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.

Liens externes