export "is a platform object"

whatwg · Aug 22, 2024 · 4090fd5 · 4090fd5
1 parent e7b2fe1
commit 4090fd5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.bs b/index.bs
@@ -13486,7 +13486,7 @@ and must return {{undefined}}.
 <h3 id="js-platform-objects" oldids="es-platform-objects">Platform objects implementing interfaces</h3>
 
 <div algorithm>
-    A JavaScript value |value| <dfn>is a platform object</dfn> if [$Type$](|value|) is Object and
+    A JavaScript value |value| <dfn export>is a platform object</dfn> if [$Type$](|value|) is Object and
     if |value| has a \[[PrimaryInterface]] internal slot.
 </div>