Jump to content

Handbuch:$wgHipHopBuildDirectory

From mediawiki.org
This page is a translated version of the page Manual:$wgHipHopBuildDirectory and the translation is 60% complete.
Wartungsskript-Einstellungen: $wgHipHopBuildDirectory
The build directory for HipHop compilation.
Eingeführt in Version:1.18.0 (r89166)
Entfernt in Version:1.22.0 (Gerrit change 62784; git #1fe9340b)
Erlaubte Werte:(Zeichenkette) oder false
Standardwert:false

Details

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