Manual:$wgDjvuOutputExtension/fr
From Linux Web Expert
| <translate> DjVu</translate>: $wgDjvuOutputExtension | |
|---|---|
| Extension de fichier pour la sortie post-processeur DjVu. |
|
| <translate> Introduced in version:</translate> | 1.10.0 (r20868) |
| <translate> Removed in version:</translate> | <translate> still in use</translate> |
| <translate> Allowed values:</translate> | (chaîne) |
| <translate> Default value:</translate> | 'jpg' |
| <translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> | |
Détails
Extension de fichier pour la sortie post-processeur DjVu.
