Manual:$wgHipHopBuildDirectory/de-formal
This feature was removed completely in version 1.22.0. |
Maintenance scripts setting: $wgHipHopBuildDirectory | |
---|---|
The build directory for HipHop compilation. |
|
Eingeführt in Version: | 1.18.0 (r89166) |
Entfernt in Version: | 1.22.0 (Gerrit change 62784; git #1fe9340b) |
Erlaubte Werte: | (string) or false |
Standardwert: | false |
Andere Einstellungen: Alphabetisch | Nach Funktion |
Details
The build directory for HipHop compilation. Defaults to $IP/maintenance/hiphop/build
.