Podręcznik:$wgDjvuOutputExtension
From mediawiki.org
This page is a translated version of the page Manual:$wgDjvuOutputExtension and the translation is 57% complete.
| DjVu: $wgDjvuOutputExtension | |
|---|---|
| File extension for the DjVu post processor output. |
|
| Wprowadzono w wersji: | 1.10.0 (r20868) |
| Usunięto w wersji: | nadal w użyciu |
| Dozwolone wartości: | (łańcuch) |
| Domyślna wartość: | 'jpg' |
| Inne ustawienia: Alfabetycznie | Według funkcji | |
Szczegóły
File extension for the DjVu post processor output.