You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
PR #3154 replaces "alternative_name": "navigator.getDisplayMedia" with a note stating the same because as someone put it, 'alternative_name is meant to cover a change in name, not a move from one interface to another.'
I've seen moves happen often enough that there should be a JSON way of describing them. This seems to happen most frequently in the case of a method or property moving to an interfaces parent class.
The text was updated successfully, but these errors were encountered:
ddbeck
added
the
schema ⚙️
Isses or pull requests regarding the JSON schema files used in this project.
label
Dec 12, 2018
Elchi3
added
duplicate 👯♀️
Duplicate issues or pull requests. This one is closed in favor of the other issue or pull request.
and removed
schema ⚙️
Isses or pull requests regarding the JSON schema files used in this project.
labels
Sep 5, 2019
PR #3154 replaces
"alternative_name": "navigator.getDisplayMedia"
with a note stating the same because as someone put it, 'alternative_name
is meant to cover a change in name, not a move from one interface to another.'I've seen moves happen often enough that there should be a JSON way of describing them. This seems to happen most frequently in the case of a method or property moving to an interfaces parent class.
The text was updated successfully, but these errors were encountered: