diff --git a/source b/source index 6b6d78e0706..fb6504317a8 100644 --- a/source +++ b/source @@ -34595,7 +34595,8 @@ interface MediaError {
-

Can be set to false to have the media resource's audio pitch change up or down correspondingly to the playbackRate instead of using pitch-preserving algorithms. This is useful for aesthetic and performance reasons. Default: true.

+

Returns true if pitch-preserving algorithms are used when the playbackRate is not 1.0. The default value is true.

+

Can be set to false to have the media resource's audio pitch change up or down correspondingly to the playbackRate. This is useful for aesthetic and performance reasons.

@@ -34847,10 +34848,10 @@ interface MediaError { being set by script or by being changed directly by the user agent, e.g. in response to user control) the user agent must queue a task to fire an event named ratechange at the media - element.

+ element. The user agent must process attribute changes smoothly and must not introduce any perceivable gaps or muting of playback in response.

The preservesPitch attribute, on - getting, must return TODO. On setting, TODO.

+ getting, must return true if a pitch-preserving algorithm is in effect during playback. On setting, the user agent must correspondingly switch the pitch-preserving algorithm on or off without any perceivable gaps or muting of playback.


@@ -120817,6 +120818,7 @@ INSERT INTERFACES HERE Ashley Gullen, Ashley Sheridan, Atsushi Takayama, + Attila Haraszti, Aurelien Levy, Ave Wrigley, Avi Drissman,