Manuel:$wgDjvuToXML

From MediaWiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgDjvuToXML and the translation is 29% complete.

Other languages:
Deutsch • ‎English • ‎español • ‎français • ‎italiano • ‎polski • ‎português • ‎português do Brasil • ‎日本語
DjVu: $wgDjvuToXML
Path of the djvutoxml executable.
Introduit dans la version :1.8.0 (r16036)
Retiré dans la version :Encore utilisé
Valeurs autorisées :(string) or null
Valeur par défaut :null
Autres paramètres : Alphabétique | Par Fonction

Détails

Path of the djvutoxml executable.

This works like $wgDjvuDump except much, much slower as of version 3.5. For now it is recommended that you use djvudump instead. The djvuxml output is probably more stable, so this recommendation may be reversed once they fix the efficiency problem. [1]

To enable the rendering of DjVu files, both $wgDjvuRenderer and this setting must be set. Alternatively you could set $wgDjvuDump instead of $wgDjvuToXML. (If both $wgDjvuDump and $wgDjvuToXML are set, only $wgDjvuDump is used.)

Exemple

$wgDjvuToXML = 'djvutoxml';

Voir aussi