Manuel:$wgHipHopBuildDirectory
Appearance
Cette fonctionnalité a été supprimée entièrement dans la version 1.22.0. |
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 |
Autres paramètres : Alphabétique | Par fonction |
Détails
Le répertoire de construction pour la compilation HipHop. Standard à $IP/maintenance/hiphop/build
.