File tree Expand file tree Collapse file tree 1 file changed +26
-0
lines changed
Expand file tree Collapse file tree 1 file changed +26
-0
lines changed Original file line number Diff line number Diff line change @@ -153,6 +153,32 @@ <h2>
153153 < h2 >
154154 Obtaining Access to MIDI Devices
155155 </ h2 >
156+ < section data-link-for ="Navigator ">
157+ < h2 >
158+ Permissions Integration
159+ </ h2 >
160+ < p data-cite ="permissions ">
161+ The Web Midi API is a [=default powerful feature=] that is identified
162+ by the [=powerful feature/name=] "midi" [[!Permissions]]. It defines
163+ the following:
164+ </ p >
165+ < dl >
166+ < dt >
167+ [=powerful feature/permission descriptor type=]
168+ </ dt >
169+ < dd >
170+ < pre class ="idl ">
171+ dictionary MidiPermissionDescriptor : PermissionDescriptor {
172+ boolean sysex = false;
173+ };
174+ </ pre >
175+ < p >
176+ `{name: "midi", sysex: true}` is [=PermissionDescriptor/stronger than=] `{name:
177+ "midi", sysex: false}`.
178+ </ p >
179+ </ dd >
180+ </ dl >
181+ </ section >
156182 < section data-link-for ="Navigator ">
157183 < h2 >
158184 Permissions Policy Integration
You can’t perform that action at this time.
0 commit comments