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 $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.
[edit] Example
$wgDjvuToXML = 'djvutoxml';
[edit] See also
| Language: | English • 日本語 |
|---|
