Handbuch:$wgDjvuDump
DjVu: $wgDjvuDump | |
---|---|
Pfad der ausführbaren Datei djvudump. |
|
Eingeführt in Version: | 1.10.0 (r21411) |
Entfernt in Version: | Weiterhin vorhanden |
Erlaubte Werte: | (Dateisystempfad) oder null |
Standardwert: | null |
Andere Einstellungen: Alphabetisch | Nach Funktion |
Details
Pfad der ausführbaren Datei djvudump.
To enable the rendering of DjVu files, both $wgDjvuRenderer
and $wgDjvuDump
must be set.
Alternatively you could set $wgDjvuToXML
instead of $wgDjvuDump
.
(If both $wgDjvuDump
and $wgDjvuToXML
are set, only $wgDjvuDump
is used.)
Beispiel:
$wgDjvuDump = "djvudump";
$wgDjvuRenderer = "ddjvu";
If this variable is set, $wgShellboxShell
must be set to the correct shell path.