Manual:$wgDjvuPostProcessor/en
From Linux Web Expert
| <translate> DjVu</translate>: $wgDjvuPostProcessor | |
|---|---|
| Path of the DjVu post-processor. |
|
| <translate> Introduced in version:</translate> | 1.8.0 (r16036) |
| <translate> Removed in version:</translate> | <translate> still in use</translate> |
| <translate> Allowed values:</translate> | (string) |
| <translate> Default value:</translate> | 'pnmtojpeg' (1.10+)'ppmtojpeg' (1.8-1.9) |
| <translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> | |
Details
Path of the DjVu post-processor.
May include command line options.
The output generated by $wgDjvuRenderer is passed onto this program.
The default: 'ppmtojpeg' is used, since ddjvu generates ppm output, which needs to be converted to JPEG to be viewed in browsers.
If your post-processor outputs anything other than .jpg files, you need to set $wgDjvuOutputExtension as well.
Change thumbnails to PNG
$wgDjvuPostProcessor = "pnmtopng";
$wgDjvuOutputExtension = "png";
