Jump to content

Manual:$wgDjvuTxt

From mediawiki.org
This page is a translated version of the page Manual:$wgDjvuTxt and the translation is 91% complete.
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.

関連項目