Jump to content

Extension:ExcludeRandom/fr

From mediawiki.org
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
This page is a translated version of the page Extension:ExcludeRandom and the translation is 100% complete.
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

  • $wgExcludeRandomPages
Licence Licence modifiée BSD 3-clause
Téléchargement

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.