Open annevk opened 6 years ago
They should be defined equivalently to https://dom.spec.whatwg.org/#dom-customevent-initcustomevent.
I also don't think we should put them in a separate section if they can't be removed anyway, though maybe there's some benefit there in that it prevents folks copy-and-pasting them.
They should be defined equivalently to https://dom.spec.whatwg.org/#dom-customevent-initcustomevent.