Remove MidiPermissionDescriptor, now in MIDI spec (w3c#304)

miketaylr · Oct 28, 2021 · 2dbcd62 · 2dbcd62
1 parent 2f33dca
commit 2dbcd62
Showing 1 changed file with 0 additions and 16 deletions.
diff --git a/index.html b/index.html
@@ -830,22 +830,6 @@ <h3 id="midi">
           This [=powerful feature=] only has a single implementation, and therefore, as per the W3C
           Process, is [=at risk=].
         </p>
-        <dl>
-          <dt>
-            [=powerful feature/permission descriptor type=]
-          </dt>
-          <dd>
-            <pre class="idl">
-              dictionary MidiPermissionDescriptor : PermissionDescriptor {
-                boolean sysex = false;
-              };
-            </pre>
-            <p>
-              `{name: "midi", sysex: true}` is [=PermissionDescriptor/stronger than=] `{name:
-              "midi", sysex: false}`.
-            </p>
-          </dd>
-        </dl>
       </section>
       <section>
         <h3 id="screen-wake-lock">