Manual:$wgDjvuToXML/fr
From Linux Web Expert
| File:OOjs UI icon alert-destructive.svg | <translate> This feature was removed completely in version <tvar name=ver>1.37.0</tvar>.</translate> |
| <translate> DjVu</translate>: $wgDjvuToXML | |
|---|---|
| Chemin de l’exécutable djvutoxml. |
|
| <translate> Introduced in version:</translate> | 1.8.0 (r16036) |
| <translate> Removed in version:</translate> | 1.37.0 (Gerrit change 720401; git #64752c0f) |
| <translate> Allowed values:</translate> | (chaîne) ou null |
| <translate> Default value:</translate> | null |
| <translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> | |
Détails
Chemin de l’exécutable djvutoxml.
Cela fonctionne comme $wgDjvuDump sauf beaucoup, beaucoup plus lent que la version 3.5.
Pour l’instant, il est recommandé d’utiliser djvudump à la place.
La sortie djvuxml est probablement plus stable, donc cette recommandation peut être inversée une fois qu’ils ont résolu le problème d’efficacité.
[1]
Pour activer le rendu des fichiers DjVu, $wgDjvuRenderer et ce paramètre doivent être définis.
Alternativement, vous pouvez définir $wgDjvuDump au lieu de $wgDjvuToXML.
(Si $wgDjvuDump et $wgDjvuToXML sont tous deux définis, seul $wgDjvuDump est utilisé).
Exemple
$wgDjvuToXML = 'djvutoxml';
