https://www.w3.org/TR/css-highlight-api-1/#priorities
<rdar://problem/113356533>
Pull request: https://github.com/WebKit/WebKit/pull/16362
Committed 266601@main (85b79f4d702c): <https://commits.webkit.org/266601@main> Reviewed commits have been landed. Closing PR #16362 and removing active labels.