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
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
Version de MediaWiki :
≥ 1.5
$wgNamespacesToBeSearchedDefault = [
NS_MAIN => true ,
];
Version de MediaWiki :
1.4
$wgNamespacesToBeSearchedDefault = array ( - 1 => 0 , 0 => 1 , 1 => 0 ,
2 => 0 , 3 => 0 , 4 => 0 , 5 => 0 , 6 => 0 , 7 => 0 , 8 => 0 , 9 => 0 , 10 => 0 , 11 => 0 );
Version de MediaWiki :
1.3
$wgNamespacesToBeSearchedDefault = array ( - 1 => 0 , 0 => 1 , 1 => 0 ,
2 => 0 , 3 => 0 , 4 => 0 , 5 => 0 , 6 => 0 , 7 => 0 , 8 => 0 , 9 => 1 , 10 => 0 , 11 => 1 );
Versions de MediaWiki :
1.1 – 1.2
$wgNamespacesToBeSearchedDefault = array ( - 1 => 0 , 0 => 1 , 1 => 0 ,
2 => 0 , 3 => 0 , 4 => 0 , 5 => 0 , 6 => 0 , 7 => 0 );
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 ;
Effect of adding/removing namespace
Version de MediaWiki :
≥ 1.16
Dans MediaWiki 1.16 et ultérieur, vous n'avez pas à modifier les options concernant les utilisateurs existants.
Version de MediaWiki :
≤ 1.15
In MediaWiki 1.15 and prior, adding or removing namespace will only affects anonymous users and accounts created after the change.
