Manual:$wgDjvuPostProcessor/fr
From Linux Web Expert
| <translate> DjVu</translate>: $wgDjvuPostProcessor | |
|---|---|
| Chemin du post-processeur DjVu. |
|
| <translate> Introduced in version:</translate> | 1.8.0 (r16036) |
| <translate> Removed in version:</translate> | <translate> still in use</translate> |
| <translate> Allowed values:</translate> | (chaîne) |
| <translate> Default value:</translate> | 'pnmtojpeg' (1.10+)'ppmtojpeg' (1.8-1.9) |
| <translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> | |
Détails
Chemain du post-processeur DjVu.
Peut inclure des options de ligne de commande.
La sortie générée par $wgDjvuRenderer est transmise à ce programme.
La valeur par défaut : 'ppmtojpeg' est utilisée, car ddjvu génère une sortie ppm, qui doit être convertie en JPEG pour être visualisée dans les navigateurs.
Si votre post-processeur produit autre chose que des fichiers . jpg, vous devez également définir $wgDjvuOutputExtension.
Changer des miniatures vers PNG
$wgDjvuPostProcessor = "pnmtopng";
$wgDjvuOutputExtension = "png";
