How can I install HHVM and then make my Mediawiki use it?
Topic on Project:Support desk
Does HHVM/Vagrant help?
No. User asked for without Vagrant
I too have this question.. But without Vagrant.
You install hhvm in the normal way, setup web server to use fastCGI pointed to hhvm. The hhvm site should have some instructions for this but it will vary significantly by os and webserver. In many OS's youprobably have to compile hhvm yourself. I think there are PPA archives you can use for debian/ubuntu.
If your not strong on the sysadmin side, i would suggest just using php7 - performance should be roughly on par, its much easier to install, and mediawiki is planning to drop support for hhvm in about a year anyway
I installed zend per reply on IRC and ok is.