Manual:$wgDjvuShell
| この機能は、バージョン 1.42.0 で MediaWiki コアから除去されました。 この機能を使用するための代替方法については $wgShellboxShell を参照してください。 |
| DjVu: $wgDjvuShell | |
|---|---|
| Whether to use BoxedCommand or not. |
|
| 導入されたバージョン: | 1.42.0 (Gerrit change 979386; git #618902a0) |
| 除去されたバージョン: | 1.42.0 (Gerrit change 979483; git #497efa4e) |
| 許容される値: | (文字列) または null |
| 既定値: | '/bin/sh' |
| その他の設定: アルファベット順 | 機能順 | |
 警告: | Temporary feature flag for phab:T352515 |