Manuel:$wgHipHopBuildDirectory

This page is a translated version of the page Manual:$wgHipHopBuildDirectory and the translation is 60% complete.
Paramètres des scripts de maintenance: $wgHipHopBuildDirectory
The build directory for HipHop compilation.
Introduit dans la version :1.18.0 (r89166)
Retiré dans la version :1.22.0 (Gerrit change 62784; git #1fe9340b)
Valeurs autorisées :(chaîne) ou false
Valeur par défaut :false

Détails

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