Skip to content

Comments

Remove irrelevant Proximity API entries#20014

Merged
queengooborg merged 1 commit intomdn:mainfrom
Elchi3:rm-proximity-api
Jun 3, 2023
Merged

Remove irrelevant Proximity API entries#20014
queengooborg merged 1 commit intomdn:mainfrom
Elchi3:rm-proximity-api

Conversation

@Elchi3
Copy link
Member

@Elchi3 Elchi3 commented Jun 2, 2023

This addresses the warnings that you see in our CI

Obsolete - 10 problems (0 errors, 10 warnings):
 ✖ api.DeviceLightEvent - Warning → feature was implemented and has since been removed from all browsers dating back two or more years ago.
 ✖ api.DeviceLightEvent.value - Warning → feature was implemented and has since been removed from all browsers dating back two or more years ago.
 ✖ api.DeviceProximityEvent - Warning → feature was implemented and has since been removed from all browsers dating back two or more years ago.
 ✖ api.DeviceProximityEvent.max - Warning → feature was implemented and has since been removed from all browsers dating back two or more years ago.
 ✖ api.DeviceProximityEvent.min - Warning → feature was implemented and has since been removed from all browsers dating back two or more years ago.
 ✖ api.DeviceProximityEvent.value - Warning → feature was implemented and has since been removed from all browsers dating back two or more years ago.
 ✖ api.UserProximityEvent - Warning → feature was implemented and has since been removed from all browsers dating back two or more years ago.
 ✖ api.UserProximityEvent.near - Warning → feature was implemented and has since been removed from all browsers dating back two or more years ago.
 ✖ api.Window.deviceproximity_event - Warning → feature was implemented and has since been removed from all browsers dating back two or more years ago.
 ✖ api.Window.userproximity_event - Warning → feature was implemented and has since been removed from all browsers dating back two or more years ago.

@github-actions github-actions bot added the data:api Compat data for Web APIs. https://developer.mozilla.org/docs/Web/API label Jun 2, 2023
@Elchi3 Elchi3 mentioned this pull request Jun 2, 2023
Merged
@queengooborg queengooborg merged commit ee1e8a2 into mdn:main Jun 3, 2023
@Elchi3 Elchi3 deleted the rm-proximity-api branch June 3, 2023 13:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@queengooborg queengooborg queengooborg approved these changes

Assignees

No one assigned

Labels

data:api Compat data for Web APIs. https://developer.mozilla.org/docs/Web/API

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@Elchi3 @queengooborg