At their request
Pull request: https://github.com/WebKit/WebKit/pull/19717
Committed 269952@main (de64d0036b9e): <https://commits.webkit.org/269952@main> Reviewed commits have been landed. Closing PR #19717 and removing active labels.
<rdar://problem/117692151>