I did copy the documentation over a year ago, but anything added there since then would be missing on docs.webkit.org <http://docs.webkit.org/>. The document you pointed out hasn’t been ported yet, so it would be good to copy that as well. I tried to get most of the relevant documentation from trac too, but I am sure there might have been a few things I missed. Brandon
On Mar 25, 2024, at 12:28 PM, Michael Catanzaro via webkit-dev <webkit-dev@lists.webkit.org> wrote:
Hi,
I've noticed we have a bunch of documentation on https://github.com/WebKit/WebKit/wiki that has not been migrated to https://docs.webkit.org/index.html. Some of the documentation looks pretty important, e.g. [1]. In the case of this specific page, we can probably just copy/paste it onto the bottom of [2] or similiar; it's easy to move since it's Markdown in either place. We should think about what to do with the other pages, though.
Michael
[1] https://github.com/WebKit/WebKit/wiki/Smart-Pointer-Usage-Guidelines [2] https://docs.webkit.org/Deep%20Dive/MemoryManagement.html
_______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev