I did copy the documentation over a year ago, but anything added there since then would be missing on 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