Manuel:$wgHipHopBuildDirectory
| 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.