Manual:$wgExtraNamespaces/fr

Détails
Le paramètre de configuration  permet de créer des   supplémentaires et personnalisés. Il peut également être utilisé pour renommer les espaces de noms par défaut. Voir le manuel sur 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 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 à.