Handbuch:$wgDjvuOutputExtension
| DjVu: $wgDjvuOutputExtension | |
|---|---|
| File extension for the DjVu post processor output. |
|
| Eingeführt in Version: | 1.10.0 (r20868) |
| Entfernt in Version: | Weiterhin vorhanden |
| Erlaubte Werte: | (Zeichenkette) |
| Standardwert: | 'jpg' |
| Andere Einstellungen: Alphabetisch | Nach Funktion | |
Details
File extension for the DjVu post processor output.