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)
Not before T192166: Drop HHVM support from MediaWiki.
The role is not worth keeping (at least not in its current form) for running MediaWiki.
Project | Branch | Lines +/- | Subject | |
---|---|---|---|---|
mediawiki/vagrant | master | +26 -373 | Drop HHVM support |
Status | Subtype | Assigned | Task | ||
---|---|---|---|---|---|
Resolved | MaxSem | T234236 Drop HHVM support from MediaWiki-Vagrant | |||
Resolved | Jdforrester-WMF | T192166 Drop HHVM support from MediaWiki | |||
Resolved | Jdforrester-WMF | T234062 ci-src-setup job (used by mediawiki-core-php72-phan-docker) is still running on PHP 7.0.33 | |||
Resolved | Jdforrester-WMF | T234384 Drop HHVM from CI | |||
Resolved | jijiki | T229792 Remove HHVM from production | |||
Resolved | awight | T236019 Remove HHVM support from Quibble | |||
Resolved | jijiki | T239054 Reimage all mediawiki servers |
Change 540502 had a related patch set uploaded (by Jforrester; owner: MaxSem):
[mediawiki/vagrant@master] Drop HHVM support