- From: Anne van Kesteren <notifications@github.com>
- Date: Thu, 21 Dec 2023 01:21:31 -0800
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Thursday, 21 December 2023 09:21:37 UTC
@annevk approved this pull request.
Thanks for tackling this @jeremyroman!
> @@ -1533,7 +1535,7 @@ on which they appear. It is language binding specific whether
};
</pre>
- the constant value can be accessed in ECMAScript either as
+ the constant value can be accessed in JavaScript either as
```suggestion
the constant value can be accessed in JavaScript either as
```
> @@ -6964,11 +6967,11 @@ to its caller, and so on.
</div>
-<h3 id="es-environment">ECMAScript environment</h3>
+<h3 id="js-environment" oldids="es-environment">JavaScript environment</h3>
I think keeping the old IDs and not adding new IDs would be fine as well. I personally prefer that as it shows the document has some history.
--
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1379#pullrequestreview-1792532677
You are receiving this because you are subscribed to this thread.
Message ID: <whatwg/webidl/pull/1379/review/1792532677@github.com>
Received on Thursday, 21 December 2023 09:21:37 UTC