Extension:ExcludeRandom/fr

Manuel des extensions MediaWiki

ExcludeRandom État de la version : non-maintenu
Implémentation	MyWiki
Description	Permet d'exclure des pages de Special:Random
Auteur(s)	Matt Russell (ultradude25discussion)
Dernière version	2.0.0 (2018-09-08)
MediaWiki	1.16+
PHP	5.1+
Modifie la base de données	Non
Licence	Licence modifiée BSD 3-clause
Téléchargement	Télécharger un instantané de la branche master 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 .
Paramètres $wgExcludeRandomPages
Accroches utilisées SpecialRandomGetRandomTitle

L'extension ExcludeRandom permet d'exclure des pages de Special:Random. Par exemple, ceci peut être utile pour masquer les pages de traduction incomplete qui n'ont pas encore été déplacées vers leur propre sous-domaine.

Installation

• Télécharger et placez le(s) fichier(s) dans un répertoire appelé ExcludeRandom dans votre dossier extensions/.
• Ajoutez le code suivant à la fin de votre fichier LocalSettings.php  :

  wfLoadExtension( 'ExcludeRandom' );
  

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

Configuration

$wgExcludeRandomPages

Liste des pages à exclure, dans un tableau. Le joker * est pris en charge (détecte tous les caractères quelconques).

Utilisation

$wgExcludeRandomPages = [ 'Main Page', '*/fr' ];

Ceci inhibera Main Page et n'importeque quoi/fr d'être sélectionné par Special:Random.