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.)

deb http://archive.ubuntu.com/ubuntu precise main multiverse universe deb http://archive.ubuntu.com/ubuntu precise-updates main multiverse universe deb http://security.ubuntu.com/ubuntu precise-security main universe multiverse    Alias /hhvm.fastcgi /var/www/fastcgi/hhvm.fastcgi FastCGIExternalServer /var/www/fastcgi/hhvm.fastcgi -host 127.0.0.1:9000 -pass-header Authorization -idle-timeout 300   Order deny,allow  
 * 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):

AddHandler hhvm-hack-extension .hh   AddHandler hhvm-php-extension .php

Action hhvm-hack-extension /hhvm.fastcgi virtual Action hhvm-php-extension /hhvm.fastcgi virtual 
 * 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".