- From: Jeremy Roman <notifications@github.com>
- Date: Wed, 27 Dec 2023 07:55:55 -0800
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 27 December 2023 15:56:01 UTC
@jeremyroman commented on this pull request. > @@ -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> There's some history of using `oldids` (e.g., adding `es-undefined` and adding `es-void` as an old ID, when WebIDL renamed the concept of `void`). If the consensus is that we should continue to use `es-` for IDs then I can unwind that, though. -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/webidl/pull/1379#discussion_r1437123285 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/webidl/pull/1379/review/1797313797@github.com>
Received on Wednesday, 27 December 2023 15:56:01 UTC