Skip to content

xhr: add new key for ProgressEvent constructor option types#3137

Merged
ddbeck merged 1 commit into
web-platform-dx:mainfrom
ddbeck:assign-xhr-key
Jul 10, 2025
Merged

xhr: add new key for ProgressEvent constructor option types#3137
ddbeck merged 1 commit into
web-platform-dx:mainfrom
ddbeck:assign-xhr-key

Conversation

@ddbeck

@ddbeck ddbeck commented Jul 10, 2025

Copy link
Copy Markdown
Collaborator

As far as I can tell, this is a (dubious) "feature" that changes the underlying supported types, which only has the effect of allowing negative JavaScript number values, which were previously forbidden. I think this barely matters, so I folded into the regular XHR feature.

Related:

@github-actions github-actions Bot added the feature definition Creating or defining new features or groups of features. label Jul 10, 2025
@ddbeck ddbeck merged commit f7b3d0f into web-platform-dx:main Jul 10, 2025
4 checks passed
@ddbeck ddbeck deleted the assign-xhr-key branch July 10, 2025 12:28
@ddbeck ddbeck changed the title xhr: add new key xhr: add new key for ProgressEvent constructor option types Jul 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature definition Creating or defining new features or groups of features.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants