Manuel:$wgExtraNamespaces

From mediawiki.org
This page is a translated version of the page Manual:$wgExtraNamespaces and the translation is 100% complete.
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 :[]

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