Maniphest T234236

Drop HHVM support from MediaWiki-Vagrant
Closed, ResolvedPublic
Actions

Tags

Subscribers

Aklapper, Mainframe98

Assigned To

MaxSem

Authored By

Mainframe98, Sep 30 2019

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 : master

Drop HHVM support

Related Objects
Search...

		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

Mainframe98 created this task.Sep 30 2019, 3:54 PM

Mainframe98 added a subtask: T192166: Drop HHVM support from MediaWiki.

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

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

gerritbot added a project: Patch-For-Review.Oct 2 2019, 11:18 PM

Jdforrester-WMF closed subtask T192166: Drop HHVM support from MediaWiki as Resolved.Oct 7 2019, 5:28 PM

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.

Maintenance_bot removed a project: Patch-For-Review.Oct 10 2019, 5:10 AM