Manual:$wgDjvuRenderer
DjVu: $wgDjvuRenderer | |
---|---|
DjVu レンダラー ddjvu のパス。 |
|
導入されたバージョン: | 1.8.0 (r16036) |
除去されたバージョン: | 使用中 |
許容される値: | (文字列) または null |
既定値: | null |
その他の設定: アルファベット順 | 機能順 |
詳細
DjVu レンダラー ddjvu のパスです。
DjVu ファイルのレンダリングを有効にするには、この変数と、$wgDjvuDump
と $wgDjvuToXML
のいずれかにも値を設定してください。
例:
$wgDjvuDump = "djvudump";
$wgDjvuRenderer = "ddjvu";