Manual:$wgDjvuPostProcessor
From MediaWiki.org
| DjVu: $wgDjvuPostProcessor | |
|---|---|
| Path of the DJVU post processor. |
|
| Introduced in version: | 1.8.0 (r16036) |
| Removed in version: | still in use |
| Allowed values: | (string) |
| Default value: | 'ppmtojpeg' |
Other settings: Alphabetical | By Function
[edit] Details
Path of the DJVU post processor. May include command line options
The default: 'ppmtojpeg' is used, since ddjvu generates ppm output.
