Fix the build
<rdar://problem/108513290>
Pull request: https://github.com/WebKit/WebKit/pull/13159
Committed 263386@main (ec6cecdeecde): <https://commits.webkit.org/263386@main> Reviewed commits have been landed. Closing PR #13159 and removing active labels.