Update of ED report from new reffy run

Using reffy commit 5.1.0.
Ashegham · Oct 28, 2021 · 5b0ad94 · 5b0ad94
1 parent 7b3c035
commit 5b0ad94
Show file tree

Hide file tree

Showing 20 changed files with 358 additions and 416 deletions.
diff --git a/ed/dfns/push-api.json b/ed/dfns/push-api.json
@@ -215,15 +215,36 @@
       "definedIn": "prose"
     },
     {
-      "id": "dfn-express-permission",
-      "href": "https://w3c.github.io/push-api/#dfn-express-permission",
+      "id": "dom-pushpermissiondescriptor",
+      "href": "https://w3c.github.io/push-api/#dom-pushpermissiondescriptor",
       "linkingText": [
-        "express permission"
+        "PushPermissionDescriptor"
       ],
       "localLinkingText": [],
-      "type": "dfn",
+      "type": "dictionary",
       "for": [],
-      "access": "private",
+      "access": "public",
+      "informative": false,
+      "heading": {
+        "id": "permission",
+        "href": "https://w3c.github.io/push-api/#permission",
+        "title": "Permission",
+        "number": "3.5"
+      },
+      "definedIn": "pre"
+    },
+    {
+      "id": "dom-pushpermissiondescriptor-uservisibleonly",
+      "href": "https://w3c.github.io/push-api/#dom-pushpermissiondescriptor-uservisibleonly",
+      "linkingText": [
+        "userVisibleOnly"
+      ],
+      "localLinkingText": [],
+      "type": "dict-member",
+      "for": [
+        "PushPermissionDescriptor"
+      ],
+      "access": "public",
       "informative": false,
       "heading": {
         "id": "permission",
@@ -1389,84 +1410,6 @@
       },
       "definedIn": "prose"
     },
-    {
-      "id": "dom-pushpermissionstate",
-      "href": "https://w3c.github.io/push-api/#dom-pushpermissionstate",
-      "linkingText": [
-        "PushPermissionState"
-      ],
-      "localLinkingText": [],
-      "type": "enum",
-      "for": [],
-      "access": "public",
-      "informative": false,
-      "heading": {
-        "id": "pushpermissionstate-enumeration",
-        "href": "https://w3c.github.io/push-api/#pushpermissionstate-enumeration",
-        "title": "11. PushPermissionState Enumeration"
-      },
-      "definedIn": "heading"
-    },
-    {
-      "id": "dom-pushpermissionstate-granted",
-      "href": "https://w3c.github.io/push-api/#dom-pushpermissionstate-granted",
-      "linkingText": [
-        "granted"
-      ],
-      "localLinkingText": [],
-      "type": "enum-value",
-      "for": [
-        "PushPermissionState"
-      ],
-      "access": "public",
-      "informative": false,
-      "heading": {
-        "id": "pushpermissionstate-enumeration",
-        "href": "https://w3c.github.io/push-api/#pushpermissionstate-enumeration",
-        "title": "11. PushPermissionState Enumeration"
-      },
-      "definedIn": "table"
-    },
-    {
-      "id": "dom-pushpermissionstate-denied",
-      "href": "https://w3c.github.io/push-api/#dom-pushpermissionstate-denied",
-      "linkingText": [
-        "denied"
-      ],
-      "localLinkingText": [],
-      "type": "enum-value",
-      "for": [
-        "PushPermissionState"
-      ],
-      "access": "public",
-      "informative": false,
-      "heading": {
-        "id": "pushpermissionstate-enumeration",
-        "href": "https://w3c.github.io/push-api/#pushpermissionstate-enumeration",
-        "title": "11. PushPermissionState Enumeration"
-      },
-      "definedIn": "table"
-    },
-    {
-      "id": "dom-pushpermissionstate-prompt",
-      "href": "https://w3c.github.io/push-api/#dom-pushpermissionstate-prompt",
-      "linkingText": [
-        "prompt"
-      ],
-      "localLinkingText": [],
-      "type": "enum-value",
-      "for": [
-        "PushPermissionState"
-      ],
-      "access": "public",
-      "informative": false,
-      "heading": {
-        "id": "pushpermissionstate-enumeration",
-        "href": "https://w3c.github.io/push-api/#pushpermissionstate-enumeration",
-        "title": "11. PushPermissionState Enumeration"
-      },
-      "definedIn": "table"
-    },
     {
       "id": "dfn-user-agent",
       "href": "https://w3c.github.io/push-api/#dfn-user-agent",
@@ -1481,7 +1424,7 @@
       "heading": {
         "id": "conformance",
         "href": "https://w3c.github.io/push-api/#conformance",
-        "title": "13. Conformance"
+        "title": "12. Conformance"
       },
       "definedIn": "prose"
     }

diff --git a/ed/headings/push-api.json b/ed/headings/push-api.json
@@ -225,23 +225,17 @@
       "title": "PushSubscriptionChangeEventInit Interface",
       "number": "10.5.2"
     },
-    {
-      "id": "pushpermissionstate-enumeration",
-      "href": "https://w3c.github.io/push-api/#pushpermissionstate-enumeration",
-      "level": 2,
-      "title": "11. PushPermissionState Enumeration"
-    },
     {
       "id": "accessibility",
       "href": "https://w3c.github.io/push-api/#accessibility",
       "level": 2,
-      "title": "12. Accessibility"
+      "title": "11. Accessibility"
     },
     {
       "id": "conformance",
       "href": "https://w3c.github.io/push-api/#conformance",
       "level": 2,
-      "title": "13. Conformance"
+      "title": "12. Conformance"
     },
     {
       "id": "idl-index",

diff --git a/ed/idl/push-api.idl b/ed/idl/push-api.idl
@@ -3,6 +3,10 @@
 // (https://github.com/w3c/webref)
 // Source: Push API (https://w3c.github.io/push-api/)
 
+dictionary PushPermissionDescriptor : PermissionDescriptor {
+  boolean userVisibleOnly = false;
+};
+
 [SecureContext]
 partial interface ServiceWorkerRegistration {
   readonly attribute PushManager pushManager;
@@ -14,7 +18,7 @@ interface PushManager {
 
   Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});
   Promise<PushSubscription?> getSubscription();
-  Promise<PushPermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});
+  Promise<PermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});
 };
 
 [Exposed=(Window,Worker), SecureContext]
@@ -87,9 +91,3 @@ dictionary PushSubscriptionChangeEventInit : ExtendableEventInit {
   PushSubscription newSubscription = null;
   PushSubscription oldSubscription = null;
 };
-
-enum PushPermissionState {
-  "denied",
-  "granted",
-  "prompt",
-};
diff --git a/ed/idlnames.json b/ed/idlnames.json
@@ -5843,10 +5843,6 @@
     "fragment": "idlnames/PushPermissionDescriptor.idl",
     "parsed": "idlnamesparsed/PushPermissionDescriptor.json"
   },
-  "PushPermissionState": {
-    "fragment": "idlnames/PushPermissionState.idl",
-    "parsed": "idlnamesparsed/PushPermissionState.json"
-  },
   "PushSubscription": {
     "fragment": "idlnames/PushSubscription.idl",
     "parsed": "idlnamesparsed/PushSubscription.json"

diff --git a/ed/idlnames/PushManager.idl b/ed/idlnames/PushManager.idl
@@ -5,5 +5,5 @@ interface PushManager {
 
   Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});
   Promise<PushSubscription?> getSubscription();
-  Promise<PushPermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});
+  Promise<PermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});
 };
diff --git a/ed/idlnamesparsed/PushManager.json b/ed/idlnamesparsed/PushManager.json
@@ -6,7 +6,7 @@
       "title": "Push API",
       "url": "https://www.w3.org/TR/push-api/"
     },
-    "fragment": "[Exposed=(Window,Worker), SecureContext]\ninterface PushManager {\n  [SameObject] static readonly attribute FrozenArray<DOMString> supportedContentEncodings;\n\n  Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});\n  Promise<PushSubscription?> getSubscription();\n  Promise<PushPermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});\n};",
+    "fragment": "[Exposed=(Window,Worker), SecureContext]\ninterface PushManager {\n  [SameObject] static readonly attribute FrozenArray<DOMString> supportedContentEncodings;\n\n  Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});\n  Promise<PushSubscription?> getSubscription();\n  Promise<PermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});\n};",
     "href": "https://w3c.github.io/push-api/#dom-pushmanager"
   },
   "extended": [],

diff --git a/ed/idlparsed/push-api.json b/ed/idlparsed/push-api.json
@@ -29,8 +29,36 @@
       }
     },
     "idlNames": {
+      "PushPermissionDescriptor": {
+        "fragment": "dictionary PushPermissionDescriptor : PermissionDescriptor {\n  boolean userVisibleOnly = false;\n};",
+        "type": "dictionary",
+        "name": "PushPermissionDescriptor",
+        "inheritance": "PermissionDescriptor",
+        "members": [
+          {
+            "type": "field",
+            "name": "userVisibleOnly",
+            "extAttrs": [],
+            "idlType": {
+              "type": "dictionary-type",
+              "extAttrs": [],
+              "generic": "",
+              "nullable": false,
+              "union": false,
+              "idlType": "boolean"
+            },
+            "default": {
+              "type": "boolean",
+              "value": false
+            },
+            "required": false
+          }
+        ],
+        "extAttrs": [],
+        "partial": false
+      },
       "PushManager": {
-        "fragment": "[Exposed=(Window,Worker), SecureContext]\ninterface PushManager {\n  [SameObject] static readonly attribute FrozenArray<DOMString> supportedContentEncodings;\n\n  Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});\n  Promise<PushSubscription?> getSubscription();\n  Promise<PushPermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});\n};",
+        "fragment": "[Exposed=(Window,Worker), SecureContext]\ninterface PushManager {\n  [SameObject] static readonly attribute FrozenArray<DOMString> supportedContentEncodings;\n\n  Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});\n  Promise<PushSubscription?> getSubscription();\n  Promise<PermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});\n};",
         "type": "interface",
         "name": "PushManager",
         "inheritance": null,
@@ -149,7 +177,7 @@
                   "generic": "",
                   "nullable": false,
                   "union": false,
-                  "idlType": "PushPermissionState"
+                  "idlType": "PermissionState"
                 }
               ]
             },
@@ -943,26 +971,6 @@
         ],
         "extAttrs": [],
         "partial": false
-      },
-      "PushPermissionState": {
-        "fragment": "enum PushPermissionState {\n  \"denied\",\n  \"granted\",\n  \"prompt\",\n};",
-        "type": "enum",
-        "name": "PushPermissionState",
-        "values": [
-          {
-            "type": "enum-value",
-            "value": "denied"
-          },
-          {
-            "type": "enum-value",
-            "value": "granted"
-          },
-          {
-            "type": "enum-value",
-            "value": "prompt"
-          }
-        ],
-        "extAttrs": []
       }
     },
     "idlExtendedNames": {
@@ -1079,13 +1087,16 @@
       ]
     },
     "dependencies": {
+      "PushPermissionDescriptor": [
+        "PermissionDescriptor"
+      ],
       "ServiceWorkerRegistration": [
         "PushManager"
       ],
       "PushManager": [
         "PushSubscription",
         "PushSubscriptionOptionsInit",
-        "PushPermissionState"
+        "PermissionState"
       ],
       "PushSubscriptionOptions": [
         "ArrayBuffer"
@@ -1130,7 +1141,9 @@
       ]
     },
     "externalDependencies": [
+      "PermissionDescriptor",
       "ServiceWorkerRegistration",
+      "PermissionState",
       "ArrayBuffer",
       "BufferSource",
       "EpochTimeStamp",