Remove progress event from GlobalEventHandlers

[queengooborg]

This PR demixes the progress event from the GlobalEventHandlers mixin.

[foolip]

There are a few different "progress" events, notably one on XMLHttpRequest, but others too. But the only one that fires on an object that's part of the Node hierarchy is the one on HTMLMediaElement. The "progress_event" entries already exist, so this should be changes to just removing the entry, adding nothing new.

[github-actions]

This pull request has merge conflicts that must be resolved before it can be merged.

[foolip]

@queengooborg can you resolve conflicts?

[queengooborg]

@foolip May we hold off on merging these pull requests until the content PRs have at least been submitted?

[foolip]

@queengooborg sorry, I wasn't paying attention to labels on my phone. Are you keeping track of what was already merged and needs content changes?

[queengooborg]

No worries! Basically what I've been doing is awaiting approval of the BCD PRs, and then once I know that we've got the story mapped out in BCD, I'm heading over to mdn/content to open a PR containing similar changes. That way, everything is kept in sync as much as possible!

[queengooborg]

And I'm now realizing that there are some events that don't actually need any updates since there are no GlobalEventHandlers pages for the particular events -- I'm going through now to find them and remove the label, and apparently this is one of them!