Manuel:$wgDjvuOutputExtension

From MediaWiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgDjvuOutputExtension and the translation is 57% complete.

Other languages:
Deutsch • ‎English • ‎español • ‎français • ‎italiano • ‎magyar • ‎polski • ‎português • ‎português do Brasil • ‎日本語
DjVu: $wgDjvuOutputExtension
File extension for the DjVu post processor output.
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

File extension for the DjVu post processor output.

Voir aussi