The "Faster servers with HHVM" checkbox at https://test.wikipedia.org/wiki/Special:Preferences#mw-prefsection-betafeatures is unchecked. I guess I'm being opted in at a higher level.

(In reply to MZMcBride from comment #1)

I guess I'm being opted in at a higher level.

Not exactly. testwiki is a special case: it is served by a single host on the cluster, mw1017. So unlike other wikis, it cannot be served using either HHVM or Zend: it's one or the other. We converted testwiki to HHVM early on (for obvious reasons), so all edits are tagged.

(In reply to MZMcBride from comment #0)

My edits are being marked with HHVM revision tags. This is gross. It's a
very internal implementation detail that's being permanently attached to my
edits and I'm pretty sure I never even opted in.

Not permanently: I've indicated elsewhere that the tag will be expunged once the migration is complete. We can keep this bug open as a way of tracking that commitment.

I agree that it is ugly and bothersome. The tag was initially added at Mark Bergsma's request as a precaution, to help us clean up if we discover that HHVM is mangling edits somehow. We're also using it to investigate whether the improved response times correlate with increased productivity for new users, as documented https://meta.wikimedia.org/wiki/Research:HHVM_newcomer_engagement_experiment.

gerritadmin wrote:

Change 172097 had a related patch set uploaded by Ori.livneh:
Hide HHVM tag on Special:{Contributions,RecentChanges,...}

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

(In reply to Gerrit Notification Bot from comment #3)

Change 172097 had a related patch set uploaded by Ori.livneh:
Hide HHVM tag on Special:{Contributions,RecentChanges,...}

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

That's reasonable enough given Ori's comments, but personally I think there isn't any urgency.

gerritadmin wrote:

Change 172294 had a related patch set uploaded by Ori.livneh:
Hide HHVM tag on Special:{Contributions,RecentChanges,...}

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

gerritadmin wrote:

Change 172295 had a related patch set uploaded by Ori.livneh:
Hide HHVM tag on Special:{Contributions,RecentChanges,...}

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

gerritadmin wrote:

Change 172097 merged by jenkins-bot:
Hide HHVM tag on Special:{Contributions,RecentChanges,...}

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

gerritadmin wrote:

Change 172294 merged by jenkins-bot:
Hide HHVM tag on Special:{Contributions,RecentChanges,...}

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

gerritadmin wrote:

Change 172295 merged by jenkins-bot:
Hide HHVM tag on Special:{Contributions,RecentChanges,...}

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

All patches mentioned in this report were merged - is there more work left to do here (if yes: please reset the bug report status to NEW or ASSIGNED), or can you close this ticket as RESOLVED FIXED?

Next step is presumably to drop to tag, once it's implicit?

DELETE FROM change_tag WHERE ct_tag = "HHVM";

That's easy enough, but it also needs to be removed from tag_summary, which will require a maintenance script of some sort. Essentially just copy and paste the code of ChangeTags::deleteTagEverywhere and alter it to work in batches.

Do we want to just do this at some point? Randomly or scheduled?

Just do it

Change 203970 had a related patch set uploaded (by Legoktm):
Add maintenance script to remove HHVM revision tag

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

@ori can (and is willing to) do the review and merge of https://gerrit.wikimedia.org/r/203970. We should be able to resolve this task in June.

In T75181#1327910, @MZMcBride wrote:

We should be able to resolve this task in June [2015].

Is @ori still willing to take this on?

In T75181#1052495, @TTO wrote:

DELETE FROM change_tag WHERE ct_tag = "HHVM";

That's easy enough, but it also needs to be removed from tag_summary, which will require a maintenance script of some sort. Essentially just copy and paste the code of ChangeTags::deleteTagEverywhere and alter it to work in batches.

The tag_summary table is no more (T212255) – if we still want to do this, then I think thanks to @Ladsgroup’s change_tag improvements (T185355) it would only need two SQL statements:

DELETE FROM change_tag WHERE ct_tag_id = (SELECT ctd_id FROM change_tag_def WHERE ctd_name = "HHVM");
DELETE FROM change_tag_def WHERE ctd_name = "HHVM";

(Another benefit of the normalization is that it’s fairly cheap to count all the rows affected by the first statement – 2.3 million on enwiki. I don’t know how long it would take to drop those rows, though.)

In T75181#1052495, @TTO wrote:

DELETE FROM change_tag WHERE ct_tag = "HHVM";

That's easy enough, but it also needs to be removed from tag_summary, which will require a maintenance script of some sort. Essentially just copy and paste the code of ChangeTags::deleteTagEverywhere and alter it to work in batches.

This simple innocent queries would make the whole enwiki go read-only for at least an hour. This should be done as a maintenance script. I don't like having a dedicated maintenance script just to remove hhvm but it can take name of the tag as an argument and act on it (maybe later we want to remove php7 tag) but I don't have time to improve the maintenance script. If anyone willing to work on it, I can review, merge and run it though.

In T75181#1205052, @gerritbot wrote:

Change 203970 had a related patch set uploaded (by Legoktm):
Add maintenance script to remove HHVM revision tag

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

(Reflecting Gerrit state on Phab per current CPT practices.)

just to note that when we remove the HHVM tag we might also want to remove the PHP7 one given that latter migration is almost over as well :P

Change 542796 had a related patch set uploaded (by MaxSem; owner: MaxSem):
[mediawiki/core@master] Add a maintenance script to delete a change tag

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

I decided to generalize Lego's patch to remove any tag and add it to MW core.

Change 542796 merged by jenkins-bot:
[mediawiki/core@master] Add a maintenance script to delete a change tag

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

Change 549902 had a related patch set uploaded (by MaxSem; owner: MaxSem):
[mediawiki/extensions/WikimediaEvents@master] Deregister php7 and HHVM tags

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

Change 203970 abandoned by Jforrester:
Add maintenance script to remove HHVM revision tag

Reason:
Generalised version landed.

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

Change 549902 merged by jenkins-bot:
[mediawiki/extensions/WikimediaEvents@master] Deregister php7 and HHVM tags

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

Change 549937 had a related patch set uploaded (by Krinkle; owner: Krinkle):
[mediawiki/core@master] changetags: Change new canDeleteTag() boolean param to int flag

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

Update: there's a bug in the script discovered running it on betalabs, DON'T RUN IT IN PRODUCTION YET! Fix here: https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/550070/

Mentioned in SAL (#wikimedia-cloud) [2019-11-11T18:28:21Z] <MaxSem> Nuked HHVM and php7 tags on all beta wikis T75181

With the fix merged, I've successfully ran the removal in beta. Unless there will be problems discovered with the removals, I'll test the process on testwiki this week and run it on the rest of production next week.

Change 550788 had a related patch set uploaded (by MaxSem; owner: MaxSem):
[mediawiki/extensions/WikimediaEvents@master] Remove messages for HHVM and php7 tags

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

Change 549937 merged by jenkins-bot:
[mediawiki/core@master] changetags: Change new canDeleteTag() boolean param to int flag

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

Mentioned in SAL (#wikimedia-operations) [2019-12-19T17:38:03Z] <James_F> Running mwscript deleteTag.php --wiki=testwiki --batch-size 100 HHVM for T75181 final testing

I've confirmed that this script works as expected, with no surprises, on testwiki.

Mentioned in SAL (#wikimedia-operations) [2019-12-19T18:03:35Z] <James_F> Running foreachwiki maintenance/deleteTag.php --batch-size 500 HHVM on mwmaint1002 for T75181

Did you also delete the php7 tag?

In T75181#5757129, @MaxSem wrote:

Did you also delete the php7 tag?

Yes, of course. That took much longer.

Change 550788 merged by jenkins-bot:
[mediawiki/extensions/WikimediaEvents@master] Remove messages for HHVM and php7 tags

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