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.

関連かんれん項目こうもく

• MediaWikiにおけるDjVuの使用しよう法ほう
• $wgDjvuDump
• $wgDjvuRenderer