Manuel:$wgExtraNamespaces
Espaces de noms: $wgExtraNamespaces | |
---|---|
Espaces de noms supplémentaires. |
|
Introduit dans la version : | 1.3.3 |
Retiré dans la version : | Encore utilisé |
Valeurs autorisées : | (tableau) |
Valeur par défaut : | [] |
Autres paramètres : Alphabétique | Par Fonction |
Détails
$wgExtraNamespaces
configure les espaces de noms supplémentaires et personnalisés pour un wiki.
Il peut également être utilisé pour renommer les espaces de noms par défaut.
Ceci est détaillé dans Manuel:Utiliser des espaces de noms personnalisés .
Dans le cas où une extension doit fonctionner avec un espace de noms nouvellement créé, assurez-vous que ce dernier a été défini et nommé avant que l'extension en question ne soit appelée.
Les extensions ne doivent pas utiliser ce paramètre; remplacer par l'utilisation de l'accroche CanonicalNamespaces ou charger l'espace de noms via extension.json (MW 1.26+, Gerrit change 234146).
Voir aussi
- IDs des espaces de noms utilisés par les extensions – Affiche une liste d'IDs d'espaces de noms à éviter absolument pour ne pas créer de conflicts d'espaces de noms; de la sorte, le premier espace de noms personnalisé pourrait théoriquement rencontrer des conflicts même avec les IDs allant de
110
à100
. Afin déviter les conflicts, nous recommandons que les IDs correspondants aux espaces de noms personnalisés commencent à3000
. $wgExtraGenderNamespaces
$wgNamespaceAliases