Manual:$wgHipHopBuildType

From mediawiki.org
Maintenance scripts setting: $wgHipHopBuildType
The HipHop build type.
Introduced in version:1.18.0 (r88959)
Removed in version:1.22.0 (Gerrit change 62784; git #1fe9340b)
Allowed values:'Debug' or 'Release'
Default value:'Debug'

Details[edit]

The HipHop build type. Can be either "Debug" or "Release".