Manual:$wgDjvuOutputExtension

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

詳細

DjVu ポスト プロセッサーの出力ファイルの拡張子です。

関連項目

• $wgDjvuPostProcessor
• MediaWikiにおけるDjVuの使用法