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.