Manual:$wgDjvuToXML/ja

詳細
djvutoxml 実行ファイルのパス. Djvu のレンダリングを可能にするために、これと $wgDjvuRenderer を有効にしてください.

これは version 3.5 の時点で、動きが遅いという以外では djvudump と同様に動きます. しばらくはこれの代わりに djvudump を使用する事を薦めます. djvuxml の出力は恐らくより安定しているので、効率の問題が直ればすぐに切り替える事が出来るでしょう.

関連項目

 * $wgDjvuRenderer
 * $wgDjvuPostProcessor
 * How to use DjVu with MediaWiki