Update contributors.json.
Pull request: https://github.com/WebKit/WebKit/pull/7457
Committed 257705@main (bf6ec0b71883): <https://commits.webkit.org/257705@main> Reviewed commits have been landed. Closing PR #7457 and removing active labels.
<rdar://problem/103230599>