Manual:$wgHipHopBuildDirectory

From mediawiki.org
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

Details[edit]

The build directory for HipHop compilation. Defaults to $IP/maintenance/hiphop/build.