Extension:ExcludeRandom/fr

Category:Unmaintained extensions/fr#ExcludeRandom/fr Category:BSD licensed extensions/fr
Manuel des extensions MediaWiki
ExcludeRandom
État de la version : non-maintenuCategory:Unmaintained extensions/fr
Implémentation MyWiki Category:Personalization extensions/fr
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+Category:Extensions with manual MediaWiki version/fr
PHP 5.1+
Modifie la base
de données
Non
Licence Licence modifiée BSD 3-clause
Téléchargement Category:Extensions in GitHub version control/fr
  • $wgExcludeRandomPages
Category:All extensions/frCategory:Extensions not in ExtensionJson/fr

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' );
    
  • Yes 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.

Category:Random page extensions/fr
Category:All extensions/fr Category:BSD licensed extensions/fr Category:Extensions in GitHub version control/fr Category:Extensions not in ExtensionJson/fr Category:Extensions with manual MediaWiki version/fr Category:Personalization extensions/fr Category:Random page extensions/fr Category:SpecialRandomGetRandomTitle extensions/fr Category:Unmaintained extensions/fr