Unreviewed PlayStation build fix following 254157@main
Pull request: https://github.com/WebKit/WebKit/pull/4037
Committed 254167@main (c3594bca5d3f): <https://commits.webkit.org/254167@main> Reviewed commits have been landed. Closing PR #4037 and removing active labels.
<rdar://problem/99573900>