Manual:$wgHipHopBuildDirectory

From MediaWiki.org
Jump to navigation Jump to search

Other languages:
Deutsch • ‎English • ‎dansk • ‎español • ‎italiano • ‎polski • ‎português • ‎português do Brasil • ‎中文 • ‎日本語
Maintenance Scripts setting: $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.