Manuel:$wgNamespacesToBeSearchedDefault
Jump to navigation
Jump to search
| Espaces de noms: $wgNamespacesToBeSearchedDefault | |
|---|---|
| Quel espace de noms doit être recherché ? |
|
| Introduit dans la version : | pre 1.1.0 |
| Retiré dans la version : | Encore utilisé |
| Valeurs autorisées : | voir ci-dessous |
| Valeur par défaut : | voir ci-dessous |
| Autres paramètres : Alphabétique | Par Fonction | |
Contents
Détails
La variable représente un tableau d'espaces de noms, indiquant les espaces de noms activés pour la recherche par défaut. Le tableau est indexé par la constante de l'espace de noms. Les espaces de noms qui ne sont pas ajoutés ne seront pas cherchés par défaut.
Valeur par défault
$wgNamespacesToBeSearchedDefault = [
NS_MAIN => true,
];
Ajouter des espaces de noms
Pour ajouter d'autres espaces de noms, vous ajoutez simplement ceci dans votre fichier « LocalSettings.php », par exemple pour l'espace de noms du projet :
$wgNamespacesToBeSearchedDefault[NS_PROJECT] = true;
Modifier les options des utilisateurs existants
| Version de MediaWiki : | ≥ 1.16 |
Dans MediaWiki 1.16 et ultérieur, vous n'avez pas à modifier les options concernant les utilisateurs existants.
