Skip to content

Split api/Element.json #26492

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

Closed
wants to merge 1 commit into from
Closed

Split api/Element.json #26492

wants to merge 1 commit into from

Conversation

caugner
Copy link
Contributor

@caugner caugner commented Apr 11, 2025

Summary

Splits up api/Element.json (over 11k lines), such that all subfeatures are in api/Element/<subfeature>.json.

Test results and supporting details

Done by running npm run split -- api/Element.json in the split-script branch.

Related issues

@github-actions github-actions bot added data:api Compat data for Web APIs. https://developer.mozilla.org/docs/Web/API size:xl [PR only] >1000 LoC changed labels Apr 11, 2025
caugner added a commit that referenced this pull request Apr 11, 2025
@caugner caugner requested review from Elchi3 and queengooborg April 11, 2025 12:48

This comment was marked as off-topic.

@caugner
Copy link
Contributor Author

caugner commented Apr 11, 2025

@Elchi3 @queengooborg Do you have concerns with splitting up these large files? (cc @ddbeck)

@caugner caugner marked this pull request as ready for review April 15, 2025 14:13
@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 Apr 18, 2025
Copy link
Contributor

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

@caugner caugner requested a review from ddbeck April 22, 2025 12:33
@caugner
Copy link
Contributor Author

caugner commented May 13, 2025

Closing as discussed in today's BCD meeting.

@caugner caugner closed this May 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
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. size:xl [PR only] >1000 LoC changed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant