webkit-dev

Download

webkit-dev@lists.webkit.org

March 2021

33 participants
32 discussions

Build bot workers aperez-{wpe, gtk}-ews to be offline for a week
by Adrian Perez de Castro 06 Mar '21

06 Mar '21

Hello, I will be moving to a new office in the next week or two, and I need to shut these down today. In all goes as expected, it should be possible to bring them online in about a week. There are other workers for the GTK and EWS ports, so the queues will continue running normally--if a tad slower. In the meantime, my apologies for the inconvenience. Cheers, -Adrian

1 0

Request for position: Honor media HTML attribute for link icon
by François Beaufort 🇫🇷 03 Mar '21

03 Mar '21

Hi webkit-dev, This is a request for WebKit's position on honoring the media HTML attribute for link[rel="icon"] as specified by the HTML spec. Spec: https://html.spec.whatwg.org/multipage/semantics.html#processing-the-media-… Discussion: https://github.com/whatwg/html/issues/6408 Existing WebKit bug: https://bugs.webkit.org/show_bug.cgi?id=68861 Summary: The link element’s “media” attribute will be honored for link[rel="icon"] so that web developers can define multiple equally appropriate icons based on a media query (dark and light modes for instance). The last one that matches will be picked. Note that browsers don’t currently honor the media attribute for link[rel="icon"] even though the HTML specification says they should: "Icons could be auditory icons, visual icons, or other kinds of icons. If multiple icons are provided, the user agent must select the most appropriate icon according to the type, media, and sizes attributes." Best. François

1 0