Manual:$wgDjvuPostProcessor
Jump to navigation
Jump to search
DjVu: $wgDjvuPostProcessor | |
---|---|
Path of the DjVu post-processor. |
|
Introduzido na versão: | 1.8.0 (r16036) |
Removido na versão: | ainda em uso |
Valores permitidos: | (string) |
Valor padrão: | 'pnmtojpeg' (desde 1.10.0) 'ppmtojpeg' (antes de 1.10.0) |
Outras definições: Alfabético | Por função |
Detalhes
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";