Jump to content

手册:$wgHipHopBuildDirectory

From mediawiki.org
This page is a translated version of the page Manual:$wgHipHopBuildDirectory and the translation is 60% complete.
维护脚本设置: $wgHipHopBuildDirectory
The build directory for HipHop compilation.
引进版本:1.18.0 (r89166)
移除版本:1.22.0 (Gerrit change 62784; git #1fe9340b)
允许的值:(字符串)或false
默认值:false

细节

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