Do we still need this?
Pull request: https://github.com/WebKit/WebKit/pull/13307
Committed 263552@main (b7227f0e7f28): <https://commits.webkit.org/263552@main> Reviewed commits have been landed. Closing PR #13307 and removing active labels.
<rdar://problem/108738321>