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.
Categories:
- MediaWiki configuration settings/de-formal
- MediaWiki configuration settings 1.18.0/de-formal
- MediaWiki configuration settings introduced in version 1.18.0/de-formal
- MediaWiki configuration settings removed in version 1.22.0/de-formal
- MediaWiki deprecated or obsolete features/de-formal
- Maintenance scripts setting variables/de-formal