Manual:$wgDjvuRenderer/de
| 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 $2 eingestellt werden.
Beispiel:
$wgDjvuDump = "djvudump";
$wgDjvuRenderer = "ddjvu";