The Wayback Machine - https://web.archive.org/web/20201216053735/https://github.com/github/task-lists-element/pull/14
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.

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

Add HTMLElementTagNameMap interface to TypeScript declaration file. #14

Merged
merged 1 commit into from Jan 20, 2020

Conversation

@koddsson
Copy link
Member

@koddsson koddsson commented Jan 16, 2020

Hello 👋!

This PR is automatically generated by a script I wrote that adds this custom element type to the HTMLElementTagNameMap interface. This is helpful for certain tools and consumers of the element.

Ref: github/image-crop-element#26

@koddsson koddsson requested a review from github/web-systems-reviewers Jan 16, 2020
@koddsson koddsson merged commit 6b93559 into master Jan 20, 2020
5 checks passed
5 checks passed
build (8.x)
Details
build (10.x)
Details
build (12.x)
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
@koddsson koddsson deleted the use-html-element-tag-name-map branch Jan 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.
Morty Proxy This is a proxified and sanitized view of the page, visit original site.