Manual:$wgDjvuToXML/ja

詳細
djvutoxml 実行可能ファイルのパスです.

これは、 のように動作しますが、それよりも動作が遥かに遅いです. (バージョン 3.5 時点). 今のところ、代わりに djvudump を使用することをお勧めします. djvuxml の出力はおそらくより安定しているため、動作効率の問題点が解決すれば djvuxml をお勧めできるでしょう. 

DjVu ファイルのレンダリングを有効にするには、 とこの変数の両方に値を設定してください. 代替として、 の代わりに   に設定することもできます. (If both  and   are set, only   is used.)