Manual:$wgDjvuToXML
From MediaWiki.org
| 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
[edit] Details
Path of the djvutoxml executable. Enable this and $wgDjvuRenderer to enable djvu rendering.
This works like djvudump except much, much slower as of version 3.5. For now I recommend you use djvudump instead. The djvuxml output is probably more stable, so we'll switch back to it as soon as they fix the efficiency problem.
[edit] Example
$wgDjvuToXML = 'djvutoxml';
