Manual:$wgDjvuToXML
| この機能は、バージョン 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';