Manual:$wgNamespacesToBeSearchedDefault/fr
From Linux Web Expert
| <translate> Search</translate>: $wgNamespacesToBeSearchedDefault | |
|---|---|
| Quel espace de noms doit être recherché ? |
|
| <translate> Introduced in version:</translate> | pre 1.1.0 |
| <translate> Removed in version:</translate> | <translate> still in use</translate> |
| <translate> Allowed values:</translate> | voir ci-dessous |
| <translate> Default value:</translate> | voir ci-dessous |
| <translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> | |
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 : | <translate> ≥</translate> 1.5 |
$wgNamespacesToBeSearchedDefault = [
NS_MAIN => true,
];
1.4
| Version de MediaWiki : |
$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 );
1.3
| Version de MediaWiki : |
$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 );
1.1 – 1.2
| <translate> MediaWiki versions:</translate> |
$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 : | <translate> ≥</translate> 1.16 |
Dans MediaWiki 1.16 et ultérieur, l'ajout ou la suppression d'un espace de noms s'applique à tous les utilisateurs.
<td class="mw-version-versionbox" title="<translate nowrap> MediaWiki <tvar name=1>1.15</tvar> is unsupported version</translate>"><translate> ≤</translate> 1.15
| Version de MediaWiki : |
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.
