Page MenuHomePhabricator

Drop HHVM support from MediaWiki-Vagrant
Closed, ResolvedPublic

Description

Not before T192166: Drop HHVM support from MediaWiki.

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

Todo

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

Details

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

https://gerrit.wikimedia.org/r/540502

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

https://gerrit.wikimedia.org/r/540502

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