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';