Manual:$wgDjvuShell
Appearance
この機能は、バージョン 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' |
その他の設定: アルファベット順 | 機能順 |
Categories:
- MediaWiki configuration settings/ja
- MediaWiki configuration settings introduced in version 1.42.0/ja
- MediaWiki configuration settings removed in version 1.42.0/ja
- MediaWiki deprecated or obsolete features/ja
- DjVu variables/ja
- MediaWiki configuration settings introduced in version 1.38.0/ja
- MediaWiki configuration settings removed in version 1.38.0/ja