Manuel:$wgNamespacesToBeSearchedDefault

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

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.