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.

Pour les utilisateurs de MediaWiki 1.24 ou précédents :

Les instructions ci-dessus décrivent la nouvelle procédure pour installer cette extension en utilisant wfLoadExtension(). Si vous avez besoin d'installer cette extension sur les précédentes versions de MediaWiki (1.24 ou antérieur), à la place de wfLoadExtension( 'ExcludeRandom' );, vous devez utiliser :

require_once "$IP/extensions/ExcludeRandom/ExcludeRandom.php";

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.