From 3ab8b30252c9ac4f135d7b91ab68c52a8daa5641 Mon Sep 17 00:00:00 2001 From: jmdyck Date: Wed, 26 Jan 2022 04:46:27 -0500 Subject: [PATCH] Editorial: remove outdated use of "EnvironmentRecord" See https://github.com/tc39/ecma262/pull/1697 for context. Also adjust the style as per Web IDL. --- source | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/source b/source index b2d4d127e9f..8e36697f7e3 100644 --- a/source +++ b/source @@ -2752,7 +2752,6 @@ a.setAttribute('href', 'https://example.com/'); // change the content attribute
  • JavaScript execution context stack
  • JavaScript realm
  • JobCallback Record
  • -
  • EnvironmentRecord
  • NewTarget
  • running JavaScript execution context
  • surrounding agent
  • @@ -81525,9 +81524,8 @@ dictionary WindowPostMessageOptions : StructuredSeri

    The window, frames, and self attributes' getters must return this Window - object's relevant Realm.[[GlobalEnv]]'s - EnvironmentRecord's [[GlobalThisValue]].

    + data-x="dom-self">self getter steps are to return this's relevant Realm.[[GlobalEnv]].[[GlobalThisValue]].

    The document IDL attribute, on getting, must return this Window object's