Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Remove never-supported API features #16906

Closed
wants to merge 5 commits into from
Closed

Remove never-supported API features #16906

wants to merge 5 commits into from

Conversation

queengooborg
Copy link
Collaborator

This PR uses the script from #6809 to remove API features that have no support in any browser.

@github-actions github-actions bot added the data:api 🐇 Compat data for Web APIs. https://developer.mozilla.org/docs/Web/API label Jul 11, 2022
@queengooborg queengooborg added the needs content update 📝 This PR needs a corresponding update to mdn/content to update the documentation label Jul 11, 2022
@foolip
Copy link
Collaborator

foolip commented Jul 12, 2022

@queengooborg do you intend to do all of the content updates for this in one go? Could it be split into smaller parts to speed things up?

@queengooborg
Copy link
Collaborator Author

These are meant to be breakdown lists rather than to be merged directly -- I'll be creating individual PRs soon!

@foolip
Copy link
Collaborator

foolip commented Jul 13, 2022

I see, maybe make this a draft PR to reflect it shouldn't be reviewed?

@github-actions
Copy link

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

@github-actions
Copy link

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

@github-actions
Copy link

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

@github-actions
Copy link

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

@github-actions github-actions bot added the merge conflicts 🚧 This PR needs to merge latest "main" branch to resolve a merge conflict or other issue. label Mar 3, 2023
@github-actions
Copy link

github-actions bot commented Mar 3, 2023

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

@Elchi3
Copy link
Member

Elchi3 commented Jun 9, 2023

Can we close this?

@queengooborg
Copy link
Collaborator Author

I'd say so, now that we're tracking this in the linter!

@queengooborg queengooborg deleted the api/never-supported branch June 9, 2023 12:26
@queengooborg queengooborg removed the needs content update 📝 This PR needs a corresponding update to mdn/content to update the documentation label Jul 2, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
data:api 🐇 Compat data for Web APIs. https://developer.mozilla.org/docs/Web/API merge conflicts 🚧 This PR needs to merge latest "main" branch to resolve a merge conflict or other issue.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@queengooborg @foolip @Elchi3 @bsmth