Manual:$wgDjvuOutputExtension
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
editFile extension for the DjVu post processor output.