Delete WKHoverPlatter
Pull request: https://github.com/WebKit/WebKit/pull/763
Committed r294495 (250754@main): <https://commits.webkit.org/250754@main> Reviewed commits have been landed. Closing PR #763 and removing active labels.
<rdar://problem/93590971>