Update of ED report from new reffy run

Using reffy commit 2f9c982f0487e51aa7c92a3e6a347d7b02fe16a4.
Ashegham · Sep 24, 2021 · 158dcbc · 158dcbc
1 parent 582c656
commit 158dcbc
Show file tree

Hide file tree

Showing 200 changed files with 35,279 additions and 14,969 deletions.
diff --git a/ed/css/SVG.json b/ed/css/SVG.json
diff --git a/ed/diff.md b/ed/diff.md
diff --git a/ed/diffnew.md b/ed/diffnew.md
diff --git a/ed/headings/ecmascript.json b/ed/headings/ecmascript.json
@@ -2890,71 +2890,77 @@
       "level": 3,
       "number": "10.4.6"
     },
+    {
+      "id": "sec-module-namespace-exotic-objects-getprototypeof",
+      "title": "[[GetPrototypeOf]] ( )",
+      "level": 4,
+      "number": "10.4.6.1"
+    },
     {
       "id": "sec-module-namespace-exotic-objects-setprototypeof-v",
       "title": "[[SetPrototypeOf]] ( V )",
       "level": 4,
-      "number": "10.4.6.1"
+      "number": "10.4.6.2"
     },
     {
       "id": "sec-module-namespace-exotic-objects-isextensible",
       "title": "[[IsExtensible]] ( )",
       "level": 4,
-      "number": "10.4.6.2"
+      "number": "10.4.6.3"
     },
     {
       "id": "sec-module-namespace-exotic-objects-preventextensions",
       "title": "[[PreventExtensions]] ( )",
       "level": 4,
-      "number": "10.4.6.3"
+      "number": "10.4.6.4"
     },
     {
       "id": "sec-module-namespace-exotic-objects-getownproperty-p",
       "title": "[[GetOwnProperty]] ( P )",
       "level": 4,
-      "number": "10.4.6.4"
+      "number": "10.4.6.5"
     },
     {
       "id": "sec-module-namespace-exotic-objects-defineownproperty-p-desc",
       "title": "[[DefineOwnProperty]] ( P, Desc )",
       "level": 4,
-      "number": "10.4.6.5"
+      "number": "10.4.6.6"
     },
     {
       "id": "sec-module-namespace-exotic-objects-hasproperty-p",
       "title": "[[HasProperty]] ( P )",
       "level": 4,
-      "number": "10.4.6.6"
+      "number": "10.4.6.7"
     },
     {
       "id": "sec-module-namespace-exotic-objects-get-p-receiver",
       "title": "[[Get]] ( P, Receiver )",
       "level": 4,
-      "number": "10.4.6.7"
+      "number": "10.4.6.8"
     },
     {
       "id": "sec-module-namespace-exotic-objects-set-p-v-receiver",
       "title": "[[Set]] ( P, V, Receiver )",
       "level": 4,
-      "number": "10.4.6.8"
+      "number": "10.4.6.9"
     },
     {
       "id": "sec-module-namespace-exotic-objects-delete-p",
       "title": "[[Delete]] ( P )",
       "level": 4,
-      "number": "10.4.6.9"
+      "number": "10.4.6.10"
     },
     {
       "id": "sec-module-namespace-exotic-objects-ownpropertykeys",
       "title": "[[OwnPropertyKeys]] ( )",
       "level": 4,
-      "number": "10.4.6.10"
+      "number": "10.4.6.11"
     },
     {
       "id": "sec-modulenamespacecreate",
       "title": "ModuleNamespaceCreate ( module, exports )",
       "level": 4,
-      "number": "10.4.6.11"
+      "number": "10.4.6.12"
     },
     {
       "id": "sec-immutable-prototype-exotic-objects",