Re: [w3c/uievents] Remove definitions of MutationEvent and friends (PR #381)

> > Hmm it's still appearing in https://w3c.github.io/uievents/ though. I think maybe because there are actually many files in this repo, several of which still mention MutationEvent? https://github.com/search?q=repo%3Aw3c%2Fuievents+mutationevent&type=code
> 
> Weird - I definitely left some [references](https://github.com/search?q=repo%3Aw3c%2Fuievents+mutationevent&type=code) to mutation events there, and I'll put up another PR to remove those. But I'm guessing something else needs to get run to re-publish, since none of my removals seem to be published. E.g. [this section](https://w3c.github.io/uievents/#event-type-DOMAttrModified) doesn't exist in the source, at least that I can see.

No, that's not necessarily true. I think github search maybe just missed them. I'll put up another PR and let's see what it looks like after that one.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/w3c/uievents/pull/381#issuecomment-2334364489
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/uievents/pull/381/c2334364489@github.com>