Manual:$wgExtraNamespaces/fr

Détails
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.

 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 doivent 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 à.