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