Jump to content

Manuel:$wgHipHopBuildDirectory

From mediawiki.org
This page is a translated version of the page Manual:$wgHipHopBuildDirectory and the translation is 100% complete.
Paramètres des scripts de maintenance: $wgHipHopBuildDirectory
Le répertoire de construction pour la compilation HipHop
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

Le répertoire de construction pour la compilation HipHop. Standard à $IP/maintenance/hiphop/build.