From 047e182a108c4b0981e0970e61cbb7bb9ea05f11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philip=20J=C3=A4genstedt?= <philip@foolip.org>
Date: Tue, 30 Apr 2024 22:14:49 +0200
Subject: [PATCH] Add web-midi.dist.yml (#1016)

---
 feature-group-definitions/web-midi.dist.yml | 64 +++++++++++++++++++++
 feature-group-definitions/web-midi.yml      | 50 ++++++++++++++++
 2 files changed, 114 insertions(+)
 create mode 100644 feature-group-definitions/web-midi.dist.yml

diff --git a/feature-group-definitions/web-midi.dist.yml b/feature-group-definitions/web-midi.dist.yml
new file mode 100644
index 0000000000..b630441ef7
--- /dev/null
+++ b/feature-group-definitions/web-midi.dist.yml
@@ -0,0 +1,64 @@
+# Generated from: web-midi.yml
+# Do not edit this file by hand. Edit the source file instead!
+
+name: Web MIDI
+description: The Web MIDI API enables selecting MIDI input and output devices and sending and receiving MIDI messages.
+spec: https://webaudio.github.io/web-midi-api/
+caniuse: midi
+status:
+  baseline: false
+  support:
+    chrome: "43"
+    chrome_android: "43"
+    edge: "79"
+    firefox: "108"
+compat_features:
+  - api.MIDIAccess
+  - api.MIDIAccess.inputs
+  - api.MIDIAccess.outputs
+  - api.MIDIAccess.statechange_event
+  - api.MIDIAccess.sysexEnabled
+  - api.MIDIConnectionEvent
+  - api.MIDIConnectionEvent.MIDIConnectionEvent
+  - api.MIDIConnectionEvent.port
+  - api.MIDIInput
+  - api.MIDIInput.midimessage_event
+  - api.MIDIInputMap
+  - api.MIDIInputMap.entries
+  - api.MIDIInputMap.forEach
+  - api.MIDIInputMap.get
+  - api.MIDIInputMap.has
+  - api.MIDIInputMap.keys
+  - api.MIDIInputMap.size
+  - api.MIDIInputMap.values
+  - api.MIDIInputMap.@@iterator
+  - api.MIDIMessageEvent
+  - api.MIDIMessageEvent.MIDIMessageEvent
+  - api.MIDIMessageEvent.data
+  - api.MIDIOutput
+  - api.MIDIOutput.send
+  - api.MIDIOutputMap
+  - api.MIDIOutputMap.entries
+  - api.MIDIOutputMap.forEach
+  - api.MIDIOutputMap.get
+  - api.MIDIOutputMap.has
+  - api.MIDIOutputMap.keys
+  - api.MIDIOutputMap.size
+  - api.MIDIOutputMap.values
+  - api.MIDIOutputMap.@@iterator
+  - api.MIDIPort
+  - api.MIDIPort.close
+  - api.MIDIPort.connection
+  - api.MIDIPort.id
+  - api.MIDIPort.manufacturer
+  - api.MIDIPort.name
+  - api.MIDIPort.open
+  - api.MIDIPort.state
+  - api.MIDIPort.statechange_event
+  - api.MIDIPort.type
+  - api.MIDIPort.version
+  - api.Navigator.requestMIDIAccess
+  # Later additions:
+  # - api.MIDIOutput.clear
+  # - api.Permissions.permission_midi
+  # - http.headers.Permissions-Policy.midi
diff --git a/feature-group-definitions/web-midi.yml b/feature-group-definitions/web-midi.yml
index 9ad861ed48..13972b2834 100644
--- a/feature-group-definitions/web-midi.yml
+++ b/feature-group-definitions/web-midi.yml
@@ -2,3 +2,53 @@ name: Web MIDI
 description: The Web MIDI API enables selecting MIDI input and output devices and sending and receiving MIDI messages.
 spec: https://webaudio.github.io/web-midi-api/
 caniuse: midi
+compat_features:
+  - api.MIDIAccess
+  - api.MIDIAccess.inputs
+  - api.MIDIAccess.outputs
+  - api.MIDIAccess.statechange_event
+  - api.MIDIAccess.sysexEnabled
+  - api.MIDIConnectionEvent
+  - api.MIDIConnectionEvent.MIDIConnectionEvent
+  - api.MIDIConnectionEvent.port
+  - api.MIDIInput
+  - api.MIDIInput.midimessage_event
+  - api.MIDIInputMap
+  - api.MIDIInputMap.entries
+  - api.MIDIInputMap.forEach
+  - api.MIDIInputMap.get
+  - api.MIDIInputMap.has
+  - api.MIDIInputMap.keys
+  - api.MIDIInputMap.size
+  - api.MIDIInputMap.values
+  - api.MIDIInputMap.@@iterator
+  - api.MIDIMessageEvent
+  - api.MIDIMessageEvent.MIDIMessageEvent
+  - api.MIDIMessageEvent.data
+  - api.MIDIOutput
+  - api.MIDIOutput.send
+  - api.MIDIOutputMap
+  - api.MIDIOutputMap.entries
+  - api.MIDIOutputMap.forEach
+  - api.MIDIOutputMap.get
+  - api.MIDIOutputMap.has
+  - api.MIDIOutputMap.keys
+  - api.MIDIOutputMap.size
+  - api.MIDIOutputMap.values
+  - api.MIDIOutputMap.@@iterator
+  - api.MIDIPort
+  - api.MIDIPort.close
+  - api.MIDIPort.connection
+  - api.MIDIPort.id
+  - api.MIDIPort.manufacturer
+  - api.MIDIPort.name
+  - api.MIDIPort.open
+  - api.MIDIPort.state
+  - api.MIDIPort.statechange_event
+  - api.MIDIPort.type
+  - api.MIDIPort.version
+  - api.Navigator.requestMIDIAccess
+  # Later additions:
+  # - api.MIDIOutput.clear
+  # - api.Permissions.permission_midi
+  # - http.headers.Permissions-Policy.midi