Manuel:$wgDjvuOutputExtension
| 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.