Skip to content

Update generated files#18173

Merged
mhegazy merged 1 commit into
masterfrom
updateDomGeneratedFiles
Aug 31, 2017
Merged

Update generated files#18173
mhegazy merged 1 commit into
masterfrom
updateDomGeneratedFiles

Conversation

@mhegazy
Copy link
Copy Markdown
Contributor

@mhegazy mhegazy commented Aug 30, 2017

Fixes #18073
Fixes #17590

declare var Headers: {
prototype: Headers;
new(init?: Headers | string[][]): Headers;
new(init?: Headers | string[][] | object): Headers;
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Isn't this really just object?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

it is :)

@mhegazy mhegazy merged commit 3d0c239 into master Aug 31, 2017
@mhegazy mhegazy deleted the updateDomGeneratedFiles branch August 31, 2017 18:43
@microsoft microsoft locked and limited conversation to collaborators Jun 14, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants