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 <[email protected]> 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 [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
