From 54bcbdca96a654f29e6ac6b1435fa775e942fec6 Mon Sep 17 00:00:00 2001 From: Kagami Sascha Rosylight Date: Sun, 24 Nov 2019 01:22:02 +0900 Subject: [PATCH 1/3] Add HTML Media types --- baselines/dom.generated.d.ts | 261 +++++++++++--------- inputfiles/addedTypes.json | 67 +++++ inputfiles/comments.json | 33 --- inputfiles/idl/HTML - Media.commentmap.json | 71 ++++++ inputfiles/idl/HTML - Media.widl | 221 +++++++++++++++++ inputfiles/idl/Media Playback Quality.widl | 10 + inputfiles/idlSources.json | 8 + inputfiles/overridingTypes.json | 21 -- inputfiles/removedTypes.json | 14 ++ package.json | 6 +- 10 files changed, 534 insertions(+), 178 deletions(-) create mode 100644 inputfiles/idl/HTML - Media.commentmap.json create mode 100644 inputfiles/idl/HTML - Media.widl create mode 100644 inputfiles/idl/Media Playback Quality.widl diff --git a/baselines/dom.generated.d.ts b/baselines/dom.generated.d.ts index cc5537b24..80029b6a2 100644 --- a/baselines/dom.generated.d.ts +++ b/baselines/dom.generated.d.ts @@ -2312,11 +2312,28 @@ declare var AudioScheduledSourceNode: { /** A single audio track from one of the HTML media elements,