Manual:$wgExtraNamespaces/fr

Détails
Le paramètre de configuration  permet de créer des espaces de noms supplémentaires et personnalisés. Il peut également être utilisé pour renommer les espaces de noms par défaut. See the manual on for further details.

 Developer information: 

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 devraient pas utiliser ce paramètre; remplacer par l'utilisation de l'accroche ou charger l'espace de noms via.



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  à  . Afin d'éviter les conflits, nous recommandons que les IDs correspondant aux espaces de noms personnalisés commencent à.