Manual:$wgDjvuOutputExtension
Jump to navigation
Jump to search
| DjVu: $wgDjvuOutputExtension | |
|---|---|
| DjVu ポスト プロセッサーの出力ファイルの拡張子。 |
|
| 導入されたバージョン: | 1.10.0 (r20868) |
| 除去されたバージョン: | 使用中 |
| 許容される値: | (文字列) |
| 既定値: | 'jpg' |
| その他の設定: アルファベット順 | 機能順 | |
DjVu ポスト プロセッサーの出力ファイルの拡張子です。