Manual:$wgDjvuOutputExtension/ru
Appearance
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.