Manuel:$wgDjvuToXML

This page is a translated version of the page Manual:$wgDjvuToXML and the translation is 100% complete.
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

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

Voir aussi