Manual:$wgDjvuTxt
DjVu: $wgDjvuTxt | |
---|---|
djvutxt (DjVu テキスト抽出ユーティリティ) のパス。 |
|
導入されたバージョン: | 1.16.0 (r50050) |
除去されたバージョン: | 使用中 |
許容される値: | (パス) または null |
既定値: | null |
その他の設定: アルファベット順 | 機能順 |
詳細
djvutxt (DjVu テキスト抽出ユーティリティ) のパスです。
DjVu ファイルからのテキスト レイヤーの抽出を有効にするには、この設定を有効にしてください。
MW 1.23 時点では、この設定を DjvuImage が使用します (このため、設定を誤るとエラーが発生することになります)。 しかし、出力はまったく使用されていないようです。
If this variable is set, $wgShellboxShell
must be set to the correct shell path.