Manuel:$wgDjvuPostProcessor

From mediawiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgDjvuPostProcessor and the translation is 100% complete.
DjVu: $wgDjvuPostProcessor
Chemin du post-processeur DjVu.
Introduit dans la version :1.8.0 (r16036)
Retiré dans la version :Encore utilisé
Valeurs autorisées :(chaîne)
Valeur par défaut :'pnmtojpeg' (1.10+)
'ppmtojpeg' (1.8-1.9)

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";

Voir aussi