Merge pull request #213 from sidvishnoi/gh-pages

cwilso · web-flow · commit 653d50a2d1b5 · 2020-10-08T09:30:45.000-07:00
Editorial: replace feature-policy usage with permissions-policy
diff --git a/index.html b/index.html
@@ -35,7 +35,7 @@
       };
     </script>
   </head>
-  <body data-cite="hr-time FEATURE-POLICY">
+  <body data-cite="hr-time permissions-policy">
     <section id="abstract">
       <p>
         Some user agents have music devices, such as synthesizers, keyboard and
@@ -155,11 +155,11 @@ <h2>
       </h2>
       <section data-link-for="Navigator">
         <h2>
-          Feature Policy Integration
+          Permissions Policy Integration
         </h2>
         <p>
           {{requestMIDIAccess()}} is a <a>policy-controlled feature</a>, as
-          defined by [[[Feature-Policy]]].
+          defined by [[[Permissions-Policy]]].
         </p>
         <p>
           The feature name for {{requestMIDIAccess()}} is <dfn data-lt=
