Manual:$wgDjvuOutputExtension/ja

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

関連項目

 * MediaWiki で DjVu を使用する方法