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
Le paramètre de configuration $wgExtraNamespaces
permet de créer des namespaces supplémentaires et personnalisés.
Il peut également être utilisé pour renommer les espaces de noms par défaut.
Voir le manuel sur using custom namespaces pour les détails supplémentaires.
Information pour les développeurs :
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 de configuration. Remplacer par l'utilisation de l'accroche $CanonicalNamespaces ou charger l'espace de noms via $json ($1, $gerrit). Instead they should use the CanonicalNamespaces hook or load the namespace through 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 conflits d'espaces de noms; de la sorte, le premier espace de noms personnalisé pourrait théoriquement rencontrer des conflits même avec les IDs allant de
110
à100
. Afin d'éviter les conflits, nous recommandons que les IDs correspondant aux espaces de noms personnalisés commencent à3000
. $wgExtraGenderNamespaces
$wgNamespaceAliases