Manual:$wgDjvuOutputExtension/de

Category:MediaWiki configuration settings/de#DjvuOutputExtensionCategory:MediaWiki configuration settings introduced in version 1.10.0/de#DjvuOutputExtensionCategory:MediaWiki configuration settings still in use/de#DjvuOutputExtensionCategory:DjVu variables/de#DjvuOutputExtension
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'
Andere Einstellungen: Alphabetisch | Nach Funktion

Details

File extension for the DjVu post processor output.

Siehe auch

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