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 3131 wgPatentURI : "https://www.w3.org/2004/01/pp-impl/46884/status" ,
3232 previousPublishDate : "2013-11-26" ,
3333 previousMaturity : "WD" ,
34- xref : "web-platform" ,
34+ xref : {
35+ profile : "web-platform" ,
36+ specs : [ "hr-time" , "permissions" , "permissions-policy" ] ,
37+ }
3538 } ;
3639 </ script >
3740 </ head >
38- < body data-cite =" hr-time permissions-policy " >
41+ < body >
3942 < section id ="abstract ">
4043 < p >
4144 Some user agents have music devices, such as synthesizers, keyboard and
157160 < h2 >
158161 Permissions Integration
159162 </ h2 >
160- < p data-cite =" permissions " >
163+ < p >
161164 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
163166 the following:
164167 </ p >
165168 < dl >
186189 < p >
187190 The Web Midi API defines a < a > policy-controlled feature</ a > named
188191 < 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]].
190193 </ p >
191194 </ section >
192195 < section data-dfn-for ="Navigator ">
You can’t perform that action at this time.
0 commit comments