Nikerabbit has uploaded a new change for review.
https://gerrit.wikimedia.org/r/242216
Change subject: Update hhvm config
..
Update hhvm config
We are currently running on upstream packages and thus do not
have the
jenkins-bot has submitted this change and it was merged.
Change subject: Update hhvm config
..
Update hhvm config
We are currently running on upstream packages and thus do not
have the extensions.
Change-Id:
Nikerabbit has uploaded a new change for review.
https://gerrit.wikimedia.org/r/148967
Change subject: Update hhvm config
..
Update hhvm config
* Bring closer to mediawiki vagrant
** Moved most settings to php.ini
** Updated
jenkins-bot has submitted this change and it was merged.
Change subject: Update hhvm config
..
Update hhvm config
* Bring closer to mediawiki vagrant
** Moved most settings to php.ini
** Updated dynamic extension path
** But