Manual:$wgDjvuTxt/ja
| 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.