Handbuch:$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 43% complete.
DjVu: $wgDjvuOutputExtension
File extension for the DjVu post processor output.
Eingeführt in Version:1.10.0 (r20868)
Entfernt in Version:weiterhin vorhanden
Erlaubte Werte:(string)
Standardwert:'jpg'

Details

File extension for the DjVu post processor output.

Siehe auch