| 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
- $wgDjvuPostProcessor
- How to use DjVu with MediaWiki
This article is issued from Mediawiki. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.