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

$wgExtraNamespaces 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 Manuel:Utiliser des espaces de noms personnalisés .

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 CanonicalNamespaces ou charger l'espace de noms via extension.json (MW 1.26+, Gerrit change 234146).

Voir aussi