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

Remove the Date type. #69

Merged
merged 1 commit into from Oct 29, 2015
Merged

Remove the Date type. #69

merged 1 commit into from Oct 29, 2015

Conversation

bzbarsky
Copy link
Collaborator

@heycam
Copy link
Collaborator

heycam commented Oct 29, 2015

Looks good.

heycam added a commit that referenced this pull request Oct 29, 2015
@heycam heycam merged commit d1902ff into whatwg:gh-pages Oct 29, 2015
aarongable pushed a commit to chromium/chromium that referenced this pull request Jul 11, 2019
Date and RegExp were IDL type, but they were removed in Oct. 2015.[1]
In current spec, they are not reserved words and can be used as
identifiers.

This CL drops these words from keywords in Blink IDL parser, to
follow the current spec.


[1] whatwg/webidl#69

Bug: 839389
Change-Id: I2592573ba0c1875a3e828a54adfc5e040184d3fd
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/src/+/1696842
Reviewed-by: Yuki Shiino <yukishiino@chromium.org>
Commit-Queue: Hitoshi Yoshida <peria@chromium.org>
Cr-Commit-Position: refs/heads/master@{#676310}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants