Manual:$wgDjvuOutputExtension/ru
| DjVu: $wgDjvuOutputExtension | |
|---|---|
| File extension for the DjVu post processor output. |
|
| Введено в версии: | 1.10.0 (r20868) |
| Удалено в версии: | всё ещё используется |
| Допустимые значения: | (string) |
| Значение по умолчанию: | 'jpg' |
| Другие настройки: По алфавиту | По функциональности | |
Details
File extension for the DjVu post processor output.