Manual:$wgDjvuToXML

From MediaWiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgDjvuToXML and the translation is 93% complete.

Other languages:
English • ‎español • ‎magyar • ‎polski • ‎日本語
DjVu: $wgDjvuToXML
djvutoxml 実行可能ファイルのパス。
導入されたバージョン:1.8.0 (r16036)
除去されたバージョン:使用中
許容される値:(文字列) または null
既定値:null

詳細

djvutoxml 実行可能ファイルのパスです。

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

DjVu ファイルのレンダリングを有効にするには、$wgDjvuRenderer とこの変数の両方に値を設定してください。 代替として、$wgDjvuToXML の代わりに $wgDjvuDump に設定することもできます。 ($wgDjvuDump$wgDjvuToXML の両方に値を設定した場合は、$wgDjvuDump のみが使用されます。)

$wgDjvuToXML = 'djvutoxml';

関連項目