-
Notifications
You must be signed in to change notification settings - Fork 2.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Drop the “MediaQueryListListener” feature #7210
Drop the “MediaQueryListListener” feature #7210
Conversation
This change drops the “MediaQueryListListener” feature. It’s not the name of an actual API but instead apparently was just a kind of shorthand for something that’s no longer part of any spec anyway. See https://wiki.developer.mozilla.org/docs/Web/API/MediaQueryListListener
@ddbeck can you redirect https://wiki.developer.mozilla.org/en-US/docs/Web/API/MediaQueryListListener before we merge this? |
I can redirect it — so can you actually, I think: In the top editing bar of the MDN editing UI, you should see that the furthest-right button is a curved-arrow icon with Create a Redirect tooltip text. When you push push that it pops up a dialog that lets you choose the article name to redirect to. |
Aha, I thought special powers were needed. I've redirected it now, but https://developer.mozilla.org/docs/Web/API/MediaQueryListListener hasn't updated yet. |
Going through some of the docs for this, I think the interesting thing to communicate to web developers is whether What gives me doubt is what to do with these notes still left in MDN: Is there anything about those that should be preserved? |
Yeah, agreed
No, I think — nothing there that needs to be preserved (given as you noted that how the callback function is specified isn’t observable). |
So what needs to happen here? Remove the mentions of |
I think so — but I guess we need confirmation from @foolip |
Foolip's been away from BCD for a while -- reading through this thread, I'd say that this is ready to go. If those notes don't need to be preserved, then we can push go and remove this! |
OK, thanks — then I’m happy if you (or anybody other than me, since I’m the author for the patch) can go ahead and push the button to merge this |
Thanks for the merge! |
So it's not exactly explicit from the process we discussed previously, but I'd like to make sure that we clean up any content messes that follow from our feature removals before merging. By redirecting the |
This change drops the “MediaQueryListListener” feature. It’s not the name of an actual API but instead apparently was just a kind of shorthand for something that’s no longer part of any spec anyway. See https://wiki.developer.mozilla.org/docs/Web/API/MediaQueryListListener