Manual:$wgDjvuToXML/ja
From MediaWiki.org
| DjVu: $wgDjvuToXML | |
|---|---|
| djvutoxml 実行ファイルのパス。 |
|
| 導入されたバージョン: | 1.8.0(r16036) |
| 削除されたバージョン: | 使用中 |
| 可能な値: | (string) or null |
| デフォルトの値: | null |
[edit] 詳細
djvutoxml 実行ファイルのパス。Djvu のレンダリングを可能にするために、これと $wgDjvuRenderer を有効にしてください。
これは version 3.5 の時点で、動きが遅いという以外では djvudump と同様に動きます。しばらくはこれの代わりに djvudump を使用する事を薦めます。djvuxml の出力は恐らくより安定しているので、効率の問題が直ればすぐに切り替える事が出来るでしょう。
[edit] 用例
$wgDjvuToXML = 'djvutoxml';
[edit] 関連項目
| 言語: | English • 日本語 |
|---|
