| DjVu: $wgDjvuPostProcessor |
DJVU ポスプロセッサへのパス。
|
| 導入されたバージョン: |
1.8.0(r16036) |
| 削除されたバージョン: |
使用中 |
| 可能な値: |
(string) (or null?) |
| デフォルトの値: |
'ppmtojpeg' |
他の設定: アルファベット順 | 機能順
Details [edit]
DJVU ポスプロセッサへのパス。コマンドラインオプションを含めても構いません。
デフォルト: 'ppmtojpeg' は ddjvu が ppm の出力を生成するようになってから使用されています。