- 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