MediaWiki:Configure-setting-wgDjvuOutputExtension/ja

DjVu ポストプリプロセッサの出力ファイルの拡張子