Wikimedia Bugzilla is closed!

Background: There are many users who complain about the "HHVM" tag, that is used to tag edits by users using HHVM, as it adds much noise to histories etc. Once HHVM is stable, these tags are actually no longer useful, as they are meant to assist debugging. Therefore it would be nice if they could be removed at some time. There may be other reasons why an owner of a wiki wants to remove a specific tag from all revisions. For this a maintenance script should be created that accepts a tag as input and removes every row from the change_tag table that sets this tag for a revision.