Handbuch:$wgDjvuToXML
From mediawiki.org
This page is a translated version of the page Manual:$wgDjvuToXML and the translation is 50% complete.
Diese Funktion wurde in der Version 1.37.0 vollständig entfernt.
| DjVu: $wgDjvuToXML | |
|---|---|
| Pfad der ausführbaren Datei djvutoxml. |
|
| Eingeführt in Version: | 1.8.0 (r16036) |
| Entfernt in Version: | 1.37.0 (Gerrit change 720401; git #64752c0f) |
| Erlaubte Werte: | (string) oder null |
| Standardwert: | null |
| Andere Einstellungen: Alphabetisch | Nach Funktion | |
Details
Pfad der ausführbaren Datei djvutoxml.
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.)
Beispiel
$wgDjvuToXML = 'djvutoxml';