Currently we simply snap the volume slider value as the mute button is toggled, but it would be nicer to animate it.
rdar://102427937
Pull request: https://github.com/WebKit/WebKit/pull/11870
Committed 262064@main (bcf280115e84): <https://commits.webkit.org/262064@main> Reviewed commits have been landed. Closing PR #11870 and removing active labels.