Minor tweaks to WebAnimation.
Pull request: https://github.com/WebKit/WebKit/pull/11847
Committed 262004@main (7339010dfeaf): <https://commits.webkit.org/262004@main> Reviewed commits have been landed. Closing PR #11847 and removing active labels.
<rdar://problem/107117114>