Jump to content

Manual:$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.