Manual:$wgDjvuToXML

From MediaWiki.org
Jump to: navigation, search

Other languages:
Deutsch • ‎English • ‎español • ‎français • ‎italiano • ‎日本語 • ‎polski • ‎português • ‎português do Brasil
DjVu: $wgDjvuToXML
Path of the djvutoxml executable.
Introduced in version: 1.8.0 (r16036)
Removed in version: still in use
Allowed values: string or null
Default value: null
Other settings: Alphabetical | By function

Details[edit]

Path of the djvutoxml executable.

This works like $wgDjvuDumpManual:$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 $wgDjvuRendererManual:$wgDjvuRenderer and this setting must be set. Alternatively you could set $wgDjvuDumpManual:$wgDjvuDump instead of $wgDjvuToXML. (If both $wgDjvuDump and $wgDjvuToXML are set, only $wgDjvuDump is used.)

Example[edit]

$wgDjvuToXML = 'djvutoxml';

See also[edit]