From 8bd361171b6f52618e067a14ed15067d78a04753 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Tue, 19 Oct 2021 21:10:15 -0400 Subject: [PATCH 1/6] Editorial: Default allowlist value should be a string, not a sequence. --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 8c9f7d5..18a9e0f 100644 --- a/index.html +++ b/index.html @@ -167,7 +167,7 @@

The default allowlist for {{requestMIDIAccess()}} is - `["self"]`. + `"self"`.

From e31a420da34b15eac1b7cfc50f65fbf60ac72bd8 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Tue, 19 Oct 2021 21:12:37 -0400 Subject: [PATCH 2/6] Chore: stray whitespace cleanup --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 18a9e0f..8729fdf 100644 --- a/index.html +++ b/index.html @@ -176,7 +176,7 @@ 

             partial interface Navigator {
-              [SecureContext] 
+              [SecureContext]
               Promise <MIDIAccess> requestMIDIAccess(optional MIDIOptions options = {});
             };
From 3a4b378ae255ca5429e4acd680ee1ebd550c8696 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Tue, 19 Oct 2021 23:19:20 -0400 Subject: [PATCH 3/6] Editorial: Edits to permissions policy section. --- index.html | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/index.html b/index.html index 8729fdf..f7b7511 100644 --- a/index.html +++ b/index.html @@ -158,16 +158,9 @@

Permissions Policy Integration

- {{requestMIDIAccess()}} is a policy-controlled feature, as - defined by [[[Permissions-Policy]]]. -

-

- The feature name for {{requestMIDIAccess()}} is `midi`. -

-

- The default allowlist for {{requestMIDIAccess()}} is - `"self"`. + The Web Midi API defines a policy-controlled feature named + `midi` which has a + default allowlist of `'self'` [[!Permissions-Policy]].

From 09f593aade37d7be89b02ee74405c87d4ffd10fb Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Tue, 19 Oct 2021 23:20:05 -0400 Subject: [PATCH 4/6] Editorial: Add a Permissions integration section --- index.html | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/index.html b/index.html index f7b7511..b58ddfb 100644 --- a/index.html +++ b/index.html @@ -153,6 +153,32 @@

Obtaining Access to MIDI Devices

+
+

+ Permissions Integration +

+

+ The Web Midi API is a [=default powerful feature=] that is identified + by the [=powerful feature/name=] "midi" [[!Permissions]]. It defines + the following: +

+
+
+ [=powerful feature/permission descriptor type=] +
+
+ 
+              dictionary MidiPermissionDescriptor : PermissionDescriptor {
+                boolean sysex = false;
+              };
+
+

+ `{name: "midi", sysex: true}` is [=PermissionDescriptor/stronger than=] `{name: + "midi", sysex: false}`. +

+
+
+

Permissions Policy Integration From 21f1bf8d71b8ddecb41b7ae93d84892825890b27 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Tue, 19 Oct 2021 23:39:53 -0400 Subject: [PATCH 5/6] Chore: Move specs from data-cite to xref config. --- index.html | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) diff --git a/index.html b/index.html index b58ddfb..b53a212 100644 --- a/index.html +++ b/index.html @@ -31,11 +31,14 @@ wgPatentURI: "https://www.w3.org/2004/01/pp-impl/46884/status", previousPublishDate: "2013-11-26", previousMaturity: "WD", - xref: "web-platform", + xref: { + profile: "web-platform", + specs: ["hr-time", "permissions", "permissions-policy"], + } }; - +

Some user agents have music devices, such as synthesizers, keyboard and @@ -157,9 +160,9 @@

Permissions Integration

-

+

The Web Midi API is a [=default powerful feature=] that is identified - by the [=powerful feature/name=] "midi" [[!Permissions]]. It defines + by the [=powerful feature/name=] "midi" [[Permissions]]. It defines the following:

@@ -186,7 +189,7 @@

The Web Midi API defines a policy-controlled feature named `midi` which has a - default allowlist of `'self'` [[!Permissions-Policy]]. + default allowlist of `'self'` [[Permissions-Policy]].

From 9bf65d72ef6ebaefadcc3fcbb740bbc09303657f Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Wed, 20 Oct 2021 09:25:18 -0400 Subject: [PATCH 6/6] Fold in @marcoscaceres' suggestions. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Marcos Cáceres --- index.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/index.html b/index.html index b53a212..110ce1c 100644 --- a/index.html +++ b/index.html @@ -161,8 +161,8 @@

Permissions Integration

- The Web Midi API is a [=default powerful feature=] that is identified - by the [=powerful feature/name=] "midi" [[Permissions]]. It defines + The Web Midi API is a [=powerful feature=] that is identified + by the [=powerful feature/name=] "midi". It defines the following:

@@ -187,9 +187,9 @@

Permissions Policy Integration

- The Web Midi API defines a policy-controlled feature named - `midi` which has a - default allowlist of `'self'` [[Permissions-Policy]]. + The Web Midi API defines a [=policy-controlled feature=] named + "midi" which has a + default allowlist of `'self'`.