Re: [webkit-dev] Identifier Conversion Tooling

On Fri, Feb 12, 2021 at 2:58 PM Jonathan Bedard via webkit-dev < webkit-dev@lists.webkit.org> wrote: > Hello contributors, > > As we move forward with the transition to GitHub, we are starting to adopt > identifiers in tooling > and

[webkit-dev] Identifier Conversion Tooling

Hello contributors, As we move forward with the transition to GitHub, we are starting to adopt identifiers in tooling and infrastructure. This is going to take a few weeks, but you will start seeing links based on identifiers more frequently.

[webkit-dev] Request for position on mapping a source's width/height attributes to width/height/aspect-ratio CSS properties on the in a

Hello webkit-dev, I would like to request an official position on the HTML spec change described in this pull request: https://github.com/whatwg/html/pull/5894/files Together with https://github.com/whatwg/html/pull/6032, this means that width/height attributes on a element inside a will get