Manual:$wgHipHopBuildDirectory
| This feature was removed completely in version 1.22.0. |
| Maintenance scripts setting: $wgHipHopBuildDirectory | |
|---|---|
| The build directory for HipHop compilation. |
|
| Introduced in version: | 1.18.0 (r89166) |
| Removed in version: | 1.22.0 (Gerrit change 62784; git #1fe9340b) |
| Allowed values: | (string) or false |
| Default value: | false |
| Other settings: Alphabetical | By function | |
Details
editThe build directory for HipHop compilation. Defaults to $IP/maintenance/hiphop/build.