Manual:$wgHipHopBuildDirectory
この機能は、バージョン 1.22.0 で完全に除去されました。 |
保守スクリプトの設定: $wgHipHopBuildDirectory | |
---|---|
The build directory for HipHop compilation. |
|
導入されたバージョン: | 1.18.0 (r89166) |
除去されたバージョン: | 1.22.0 (Gerrit change 62784; git #1fe9340b) |
許容される値: | (文字列) または false |
既定値: | false |
その他の設定: アルファベット順 | 機能順 |
詳細
The build directory for HipHop compilation. Defaults to $IP/maintenance/hiphop/build
.