Jump to content

Manual:$wgDjvuOutputExtension

From mediawiki.org
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'

Details

File extension for the DjVu post processor output.

See also