Disallow id for an empty NDEF record

w3c · Dec 6, 2019 · 6f6af25 · 6f6af25
1 parent 06671e6
commit 6f6af25
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -2799,6 +2799,10 @@ <h3><dfn>Writing or pushing content</dfn></h3>
             If |record|'s <a>mediaType</a> is not `undefined`,
             [= exception/throw =] a {{TypeError}} and abort these steps.
           </li>
+          <li>
+            If |record|'s <a>id</a> is not `undefined`,
+            [= exception/throw =] a {{TypeError}} and abort these steps.
+          </li>
           <li>
             Let |ndef| be the notation for the <a>NDEF record</a> to
             be created by the UA.