Manual:$wgDjvuOutputExtension

From MediaWiki.org
Jump to: navigation, search

Other languages:
Deutsch • ‎English • ‎español • ‎français • ‎italiano • ‎日本語 • ‎polski • ‎português • ‎português do Brasil
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[edit]

File extension for the DjVu post processor output.

See also[edit]