Manuel:$wgDjvuToXML
Cette fonctionnalité a été supprimée entièrement dans la version 1.37.0. |
DjVu: $wgDjvuToXML | |
---|---|
Chemin de l’exécutable djvutoxml. |
|
Introduit dans la version : | 1.8.0 (r16036) |
Retiré dans la version : | 1.37.0 (Gerrit change 720401; git #64752c0f) |
Valeurs autorisées : | (chaîne) ou null |
Valeur par défaut : | null |
Autres paramètres : Alphabétique | Par fonction |
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';