It should be 13.3
<rdar://problem/107866431>
Pull request: https://github.com/WebKit/WebKit/pull/12604
Committed 262806@main (e9832b83807a): <https://commits.webkit.org/262806@main> Reviewed commits have been landed. Closing PR #12604 and removing active labels.