Extension:FilterSpecialPages

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)	Leonid Verhovskij Hallo Welt! GmbH
Dernière version	4.0.0-alpha
MediaWiki	>= 1.43.0
Composer	hallowelt/filter-special-pages
Accroches utilisées BeforePageDisplay
Licence	Licence publique générale GNU v3.0 ou ultérieur
Téléchargement	Télécharger l'extension Git [?]: parcourir le dépôt (Phabricator · GitHub) relecture Gerrit du code historique Git des validations (commits) Télécharger le tarball source
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' );
  

• Fait – Accédez à Special:Version sur votre wiki pour vérifier que l'extension a bien été installée.

Liens externes

• Aide pour assistance - FilterSpecialPages