Manual:$wgHipHopBuildDirectory

From MediaWiki.org
Jump to: navigation, search

Other languages:
Deutsch • ‎English • ‎español • ‎italiano • ‎日本語 • ‎polski • ‎português • ‎português do Brasil • ‎中文
Maintenance Scripts: $wgHipHopBuildDirectory
The build directory for HipHop compilation.
Introduced in version: 1.18.0 (r89166)
Removed in version: 1.22.0
Allowed values: string or false
Default value: false
Other settings: Alphabetical | By function

Details[edit]

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