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)
Description
Description
Details
Details
| 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 |
Event Timeline
Comment Actions
Change 540502 had a related patch set uploaded (by Jforrester; owner: MaxSem):
[mediawiki/vagrant@master] Drop HHVM support