Manual:$wgDjvuToXML
Appearance
この機能は、バージョン 1.37.0 で完全に除去されました。 |
DjVu: $wgDjvuToXML | |
---|---|
djvutoxml 実行可能ファイルのパス。 |
|
導入されたバージョン: | 1.8.0 (r16036) |
除去されたバージョン: | 1.37.0 (Gerrit change 720401; git #64752c0f) |
許容される値: | (文字列) または null |
既定値: | null |
その他の設定: アルファベット順 | 機能順 |
詳細
djvutoxml 実行可能ファイルのパスです。
これは、$wgDjvuDump
のように動作しますが、それよりも動作が遥かに遅いです。(バージョン 3.5 時点)。
今のところ、代わりに djvudump を使用することをお勧めします。
djvuxml の出力はおそらくより安定しているため、動作効率の問題点が解決すれば djvuxml をお勧めできるでしょう。
[1]
DjVu ファイルのレンダリングを有効にするには、$wgDjvuRenderer
とこの変数の両方に値を設定してください。
代替として、$wgDjvuToXML
の代わりに $wgDjvuDump
に設定することもできます。
($wgDjvuDump
と $wgDjvuToXML
の両方に値を設定した場合は、$wgDjvuDump
のみが使用されます。)
例
$wgDjvuToXML = 'djvutoxml';