File tree Expand file tree Collapse file tree 1 file changed +8
-5
lines changed Expand file tree Collapse file tree 1 file changed +8
-5
lines changed Original file line number Diff line number Diff line change 31
31
wgPatentURI : "https://www.w3.org/2004/01/pp-impl/46884/status" ,
32
32
previousPublishDate : "2013-11-26" ,
33
33
previousMaturity : "WD" ,
34
- xref : "web-platform" ,
34
+ xref : {
35
+ profile : "web-platform" ,
36
+ specs : [ "hr-time" , "permissions" , "permissions-policy" ] ,
37
+ }
35
38
} ;
36
39
</ script >
37
40
</ head >
38
- < body data-cite =" hr-time permissions-policy " >
41
+ < body >
39
42
< section id ="abstract ">
40
43
< p >
41
44
Some user agents have music devices, such as synthesizers, keyboard and
157
160
< h2 >
158
161
Permissions Integration
159
162
</ h2 >
160
- < p data-cite =" permissions " >
163
+ < p >
161
164
The Web Midi API is a [=default powerful feature=] that is identified
162
- by the [=powerful feature/name=] "midi" [[! Permissions]]. It defines
165
+ by the [=powerful feature/name=] "midi" [[Permissions]]. It defines
163
166
the following:
164
167
</ p >
165
168
< dl >
186
189
< p >
187
190
The Web Midi API defines a < a > policy-controlled feature</ a > named
188
191
< dfn data-lt ="midi-fp " data-lt-nodefault =""> `midi`</ dfn > which has a
189
- < a > default allowlist</ a > of `'self'` [[! Permissions-Policy]].
192
+ < a > default allowlist</ a > of `'self'` [[Permissions-Policy]].
190
193
</ p >
191
194
</ section >
192
195
< section data-dfn-for ="Navigator ">
You can’t perform that action at this time.
0 commit comments