- From: Nicolò Ribaudo <notifications@github.com>
- Date: Mon, 14 Sep 2026 06:34:56 -0700
- To: whatwg/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Monday, 14 September 2026 13:35:00 UTC
@nicolo-ribaudo commented on this pull request.
> @@ -6536,10 +6536,10 @@ The following extended attributes are <dfn for="extended attributes">applicable
};
</pre>
</div>
- 1. If |type| is the <emu-nt><a href="#prod-Type">Type</a></emu-nt> directly within an
- <emu-nt><a href="#prod-Argument">Argument</a></emu-nt> production, [=set/append=] to
- |extended attributes| all of the [=extended attributes=] present in the production's
- <emu-nt><a href="#prod-ExtendedAttributeList">ExtendedAttributeList</a></emu-nt> that are
+ 1. If |type| is the type of an argument |A|, [=set/append=] to |extended attributes| all of
This wording ("type of an argument", and "type of a dictionary member" below) is already used in a few other places.
--
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1624#pullrequestreview-5198325933
You are receiving this because you are subscribed to this thread.
Message ID: <whatwg/webidl/pull/1624/review/5198325933@github.com>
Received on Monday, 14 September 2026 13:35:00 UTC