HHVM/Vagrant

As of 8 April 2014, the HHVM role in mediawiki-vagrant has been broken by an HHVM update. The following steps manually install HHVM in Vagrant and configure it to work with the web server. (Add  as necessary.)

   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.
 * 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".