HHVM/Vagrant

With the latest version of mediawiki-vagrant, it should be possible to enable HHVM automatically by running  and then reprovisioning.

If you need to do it manually for some reason, the following steps install HHVM in Vagrant and configure it to work with the web server. (Add  as necessary.)


 * Install the prebuilt HHVM package for Ubuntu 12.04 using the instructions at https://github.com/facebook/hhvm/wiki/Prebuilt-Packages-on-Ubuntu-12.04.
 * Make HHVM start automatically at boot time with.
 * Install  using.
 * You may need to add the  repository to  . For example:
 * Create the directory  and make it writeable by the web server. (I just did  . There is probably a better way to do this, but since Vagrant is a local VM there isn't much security risk.)
 * Add the following to  (modified from https://github.com/facebook/hhvm/wiki/FastCGI#apache-22):
 * Disable the PHP module in Apache (otherwise it seems to shadow HHVM) using.
 * Enable  using.
 * Restart the Vagrant box and navigate to http://localhost:8080/wiki/Special:Version. The version for PHP under Installed software should contain the string "hiphop".