Manual:$wgExtraNamespaces/fr
From Linux Web Expert
<translate> Namespaces</translate>: $wgExtraNamespaces | |
---|---|
Espaces de noms supplémentaires. |
|
<translate> Introduced in version:</translate> | 1.3.3 |
<translate> Removed in version:</translate> | <translate> still in use</translate> |
<translate> Allowed values:</translate> | (tableau) |
<translate> Default value:</translate> | [] |
<translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> |
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 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