Fix build issue related to WebKit extensions.
<rdar://problem/116140701>
Pull request: https://github.com/WebKit/WebKit/pull/18310
Committed 268544@main (9b6ffb3ba3c6): <https://commits.webkit.org/268544@main> Reviewed commits have been landed. Closing PR #18310 and removing active labels.