Handbuch:$wgDjvuRenderer
DjVu: $wgDjvuRenderer | |
---|---|
Pfad des ddjvu DjVu-Renderers. |
|
Eingeführt in Version: | 1.8.0 (r16036) |
Entfernt in Version: | Weiterhin vorhanden |
Erlaubte Werte: | (string) oder null |
Standardwert: | null |
Andere Einstellungen: Alphabetisch | Nach Funktion |
Details
Pfad des ddjvu DjVu-Renderers.
Um das Rendern von DjVu-Dateien zu aktivieren, muss die Einstellung entweder als $wgDjvuDump
oder $wgDjvuToXML
eingestellt werden.
Beispiel:
$wgDjvuDump = "djvudump";
$wgDjvuRenderer = "ddjvu";