Make mediawiki-phpunit-hhvm voting!!!11!!BBQ!!

After a week sprint, we have MediaWiki core tests to pass under the HHVM
version in use on the Wikimedia cluster.

Make mediawiki-phpunit-hhvm voting.

Bug: T75521
Change-Id: If63cf38c216d487733b7fec6b561d140390ef7dd