[whatwg/webidl] Fix getter name for maplike/setlike size (PR #1232)

<!--
Thank you for contributing to the Web IDL Standard! Please describe the change you are making and complete the checklist below if your change is not editorial.
-->

- [ ] At least two implementers are interested (and none opposed):
   * Chrome already implements this
   * Probably others do too, testing...
- [x] [Tests](https://github.com/web-platform-tests/wpt) are written and can be reviewed and commented upon at:
   * https://github.com/web-platform-tests/wpt/pull/36950

- [ ] [Implementation bugs](https://github.com/whatwg/meta/blob/main/MAINTAINERS.md#handling-pull-requests) are filed:
   * Chromium: N/A
   * Gecko: …
   * WebKit: …
   * Deno: Will comment on https://github.com/denoland/deno/issues/16068

   * Node.js: N/A
   * webidl2.js: N/A
   * widlparser: N/A
- [ ] [MDN issue](https://github.com/whatwg/meta/blob/main/MAINTAINERS.md#handling-pull-requests) is filed: N/A

(See [WHATWG Working Mode: Changes](https://whatwg.org/working-mode#changes) for more details.)

You can view, comment on, or merge this pull request online at:

  https://github.com/whatwg/webidl/pull/1232


-- Commit Summary --

  * Fix getter name for maplike/setlike size

-- File Changes --

    M index.bs (4)

-- Patch Links --

https://github.com/whatwg/webidl/pull/1232.patch

https://github.com/whatwg/webidl/pull/1232.diff


-- 
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/webidl/pull/1232

You are receiving this because you are subscribed to this thread.

Message ID: <whatwg/webidl/pull/1232@github.com>