Jump to content

Handbuch:$wgDjvuOutputExtension

From mediawiki.org
This page is a translated version of the page Manual:$wgDjvuOutputExtension and the translation is 57% 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:(Zeichenkette)
Standardwert:'jpg'

Details

File extension for the DjVu post processor output.

Siehe auch