Manuel:$wgDjvuOutputExtension
Appearance
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' |
Autres paramètres : Alphabétique | Par fonction |
Détails
Extension de fichier pour la sortie post-processeur DjVu.