Jump to content

Manuel:$wgNamespacesToBeSearchedDefault

From mediawiki.org
This page is a translated version of the page Manual:$wgNamespacesToBeSearchedDefault and the translation is 100% complete.
Recherche: $wgNamespacesToBeSearchedDefault
Quel espace de noms doit être recherché ?
Introduit dans la version :avant la version 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;

Effet d'ajouter ou supprimer un espace de noms

Version de MediaWiki :
1.16

Dans MediaWiki 1.16 et ultérieur, l'ajout ou la suppression d'un espace de noms s'applique à tous les utilisateurs.

Version de MediaWiki :
1.15

Dans MediaWiki 1.15 et plus ancien, l'ajout ou la suppression d'un espace de noms n'impacte que les utilisateurs anonymes et les comptes créés après la modification.