I’ve posted a patch to make these changes official: 
https://bugs.webkit.org/show_bug.cgi?id=237406

> On Feb 24, 2022, at 9:09 AM, Darin Adler <da...@apple.com> wrote:
> 
> I personally prefer id<ProtocolName>, and would be happy to standardize on 
> that. I don’t really care that much about statistics about usage in our 
> existing code.
> 
> — Darin

_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev

Reply via email to