Manuel:$wgExtraNamespaces

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 :	[]
Autres paramètres : Alphabétique | Par fonction

Détails

Le paramètre de configuration $wgExtraNamespaces vous permet de configurer des espaces de noms supplémentaires personnalisés. Il peut également être utilisé pour renommer les espaces de noms par défaut. Voir le manuel sur Manuel:Utiliser des espaces de noms personnalisés pour les détails supplémentaires.

Attention :

Si vous ajoutez de nouveaux espaces de noms, exécutez namespaceDupes.php si nécessaire. Sinon certaines pages peuvent devenir non accessibles. Vous trouverez d'autres informations sur la Gestion des pages existantes .

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

• IDs des espaces de noms utilisés par les extensions – liste d'IDs d'espaces de noms déjà largement utilisés. Afin d'éviter les conflits d'espaces de noms, nous recommandons aux utilisateurs qu'ils choisissent les ID des espaces de noms personnalisés en commençant à 3000.
• $wgExtraGenderNamespaces
• $wgNamespaceAliases