Page MenuHomePhabricator

Drop HHVM support from MediaWiki-Vagrant
Closed, ResolvedPublic


Not before T192166: Drop HHVM support from MediaWiki.

The role is not worth keeping (at least not in its current form) for running MediaWiki.


  • Remove role hhvm
  • Decline outstanding tasks related to HHVM on MediaWiki-vagrant (like T165092)


Related Gerrit Patches:
mediawiki/vagrant : masterDrop HHVM support

Event Timeline

Change 540502 had a related patch set uploaded (by Jforrester; owner: MaxSem):
[mediawiki/vagrant@master] Drop HHVM support

Change 540502 merged by jenkins-bot:
[mediawiki/vagrant@master] Drop HHVM support

Krinkle closed this task as Resolved.Oct 10 2019, 4:40 AM
Krinkle assigned this task to MaxSem.