Manual:$wgDjvuOutputExtension/fr

Category:MediaWiki configuration settings/fr#DjvuOutputExtensionCategory:MediaWiki configuration settings introduced in version 1.10.0/fr#DjvuOutputExtensionCategory:MediaWiki configuration settings still in use/fr#DjvuOutputExtensionCategory:DjVu variables/fr#DjvuOutputExtension
DjVu: $wgDjvuOutputExtension
Extension de fichier pour la sortie post-processeur DjVu.
Introduit dans la version :1.10.0 (r20868)
Retiré dans la version :Encore utilisé
Valeurs autorisées :(chaîne)
Valeur par défaut :'jpg'
Autres paramètres : Alphabétique | Par fonction

Détails

Extension de fichier pour la sortie post-processeur DjVu.

Voir aussi

Category:DjVu variables/fr Category:MediaWiki configuration settings/fr Category:MediaWiki configuration settings introduced in version 1.10.0/fr Category:MediaWiki configuration settings still in use/fr