Open main menu

Manuel:$wgNamespacesToBeSearchedDefault

This page is a translated version of the page Manual:$wgNamespacesToBeSearchedDefault and the translation is 100% complete.

Other languages:
English • ‎español • ‎français • ‎magyar • ‎polski • ‎português • ‎português do Brasil • ‎русский • ‎中文 • ‎日本語
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

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.