Jump to content

Manuel:$wgDjvuOutputExtension

From mediawiki.org
This page is a translated version of the page Manual:$wgDjvuOutputExtension and the translation is 100% complete.
DjVu: $wgDjvuOutputExtension
Extension de fichier pour la sortie post-processeur DjVu.
Introduit dans la version :1.10.0 (r20868)
Retiré dans la version :Encore utilisé
Valeurs autorisées :(chaîne)
Valeur par défaut :'jpg'

Détails

Extension de fichier pour la sortie post-processeur DjVu.

Voir aussi