Jump to content

Manual:$wgHipHopBuildDirectory

From mediawiki.org
This page is a translated version of the page Manual:$wgHipHopBuildDirectory and the translation is 40% complete.
Maintenance scripts setting: $wgHipHopBuildDirectory
The build directory for HipHop compilation.
Introducido en la versión:1.18.0 (r89166)
Eliminado en la versión:1.22.0 (Gerrit change 62784; git #1fe9340b)
Valores permitidos:(string) or false
Valor predeterminado:false

Detalles

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