Manual:$wgHipHopBuildDirectory
From MediaWiki.org
| Maintenance Scripts: $wgHipHopBuildDirectory | |
|---|---|
| The build directory for HipHop compilation. |
|
| Introduced in version: | 1.18.0 (r89166) |
| Removed in version: | still in use |
| Allowed values: | string or false |
| Default value: | false |
Other settings: Alphabetical | By Function
[edit] Details
The build directory for HipHop compilation. Defaults to $IP/maintenance/hiphop/build.
