Plumb "animated scroll did end" back from the scrolling tree
Created attachment 440572 [details] Patch
Committed r283793 (242686@main): <https://commits.webkit.org/242686@main> All reviewed patches have been landed. Closing bug and clearing flags on attachment 440572 [details].
<rdar://problem/84015827>