Manuel:$wgExportFromNamespaces

From mediawiki.org
This page is a translated version of the page Manual:$wgExportFromNamespaces and the translation is 100% complete.
Importer / Exporter: $wgExportFromNamespaces
Si vous autorisez l’option "exporter toutes les pages dans l’espace de noms".
Introduit dans la version :1.15.0 (r48756)
Retiré dans la version :Encore utilisé
Valeurs autorisées :(booléen)
Valeur par défaut :false

Détails

Autoriser ou non l’option "exporter toutes les pages dans l’espace de noms" (i.e. les addns et nsindex Parameters to Special:Export)

Voir aussi

  • $wgExportAllowAll − Permet de régler si le contenu du wiki entier peut être exporté dans un fichier.