Manual:$wgDjvuShell
 | この機能は、バージョン 1.38.0 で完全に除去されました。 |
| DjVu: $wgDjvuShell | |
|---|---|
| djvuのメタデータを取得する際に使用するシェル |
|
| 導入されたバージョン: | 1.38.0 (Gerrit change 720143; git #9834e56f) |
| 除去されたバージョン: | 1.38.0 (Gerrit change 738640; git #8c4898d6) |
| 許容される値: | (文字列) |
| 既定値: | '/bin/sh' |
| その他の設定: アルファベット順 | 機能順 | |