rdar://107725234
Pull request: https://github.com/WebKit/WebKit/pull/13718
Committed 263936@main (ef3f34692b73): <https://commits.webkit.org/263936@main> Reviewed commits have been landed. Closing PR #13718 and removing active labels.