Manual:$wgDjvuOutputExtension/ja

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

関連項目

 * How to use DjVu with MediaWiki