Page MenuHomePhabricator
Create Task
Maniphest T78044

Remove the HHVM BetaFeature from user preferences
Closed, ResolvedPublic
Actions

Description

HHVM is everywhere.
The BetaFeature can be removed/graduated from the userpreferences, e.g. https://it.wikipedia.org/wiki/Speciale:Preferenze#mw-prefsection-betafeatures

Details

Related Changes in Gerrit:
SubjectAuthorRepoBranchLines +/-
Remove HHVM beta featureOrimediawiki/extensions/WikimediaEventswmf/1.25wmf11+0 -92
Remove HHVM beta featureOrimediawiki/extensions/WikimediaEventsmaster+0 -92
Customize query in gerrit

Related Objects

Event Timeline

Quiddity created this task.Dec 9 2014, 8:12 PM
Quiddity raised the priority of this task from to Medium.
Quiddity updated the task description. (Show Details)
Quiddity added projects: HHVM, BetaFeatures, Beta-Feature.
Quiddity changed Security from none to None.
Quiddity subscribed.
Quiddity mentioned this in T73048: Make the HHVM BetaFeature up to snuff (BetaFeature-wise).Dec 9 2014, 8:15 PM
Jdforrester-WMF removed a project: BetaFeatures.Dec 9 2014, 8:24 PM
Jdforrester-WMF subscribed.
Jdforrester-WMF added a subscriber: ori.Dec 10 2014, 12:46 AM

Hmm. This should have been removed by @ori's commit in Ibd888465 which went live on 25 November… Why does it appear?

gerritbot added a project: Patch-For-Review.Dec 10 2014, 12:53 AM

Change 178734 had a related patch set uploaded (by Ori.livneh):
Remove HHVM beta feature

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

Patch-For-Review

gerritbot added a comment.Dec 10 2014, 1:02 AM

Change 178734 merged by jenkins-bot:
Remove HHVM beta feature

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

gerritbot added a comment.Dec 10 2014, 1:02 AM

Change 178737 had a related patch set uploaded (by Ori.livneh):
Remove HHVM beta feature

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

Patch-For-Review

gerritbot added a comment.Dec 10 2014, 1:02 AM

Change 178737 merged by jenkins-bot:
Remove HHVM beta feature

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

Jdforrester-WMF closed this task as Resolved.Dec 10 2014, 1:03 AM
Jdforrester-WMF claimed this task.

Well, that will fix it for wmf12, at least (so gone on all wikis by Wednesday 17 December). Thanks, Ori.

Jdforrester-WMF added a comment.Dec 10 2014, 1:05 AM

… or tomorrow, as Ori's just cherry-picked. :-)

• MZMcBride subscribed.Dec 10 2014, 1:34 AM
ori mentioned this in rEWMVb552e154a4cb: Remove HHVM beta feature.Dec 10 2014, 8:38 PM
ori mentioned this in rEWMV44ee1f661b66: Remove HHVM beta feature.
ori mentioned this in rMEXT1523c8c39f0e: Updated mediawiki/extensions Project: mediawiki/extensions/WikimediaEvents….Mar 11 2015, 6:22 AM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits