Manual:$wgDjvuOutputExtension

Category:MediaWiki configuration settings#DjvuOutputExtensionCategory:MediaWiki configuration settings introduced in version 1.10.0#DjvuOutputExtensionCategory:MediaWiki configuration settings still in use#DjvuOutputExtensionCategory:DjVu variables#DjvuOutputExtension
DjVu: $wgDjvuOutputExtension
File extension for the DjVu post processor output.
Introduced in version:1.10.0 (r20868)
Removed in version:Still in use
Allowed values:(string)
Default value:'jpg'
Other settings: Alphabetical | By function

Details

File extension for the DjVu post processor output.

See also

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