diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-01-10 06:52:57 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-10 06:52:57 -0500 |
| commit | 4ac5b8a3aea5df3bf374dcfdb22c34f5ff0bafe8 (patch) | |
| tree | c2bbc5bb591ad39b9695b183b1a82e63eebcab03 /components/script/task_source/user_interaction.rs | |
| parent | d8b025c6ccefd4a81b0dfccb2f4e342b621741cc (diff) | |
| parent | 4d9fb872fbcbfe19b689bd045bf49c8d0b5ff63e (diff) | |
| download | servo-4ac5b8a3aea5df3bf374dcfdb22c34f5ff0bafe8.tar.gz servo-4ac5b8a3aea5df3bf374dcfdb22c34f5ff0bafe8.zip | |
Auto merge of #22477 - ferjm:media_time_marches_on_step_6, r=jdm
Implement step 6 of media `time marches on` algorithm. Improves stability of media WPTs
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] There are tests for these changes
This should help with the WPTs problems observed in https://github.com/servo/servo/pull/22348#issuecomment-446369831
Unfortunately, GStreamer does not seem to be very reliable with Ogg (check https://gitlab.freedesktop.org/gstreamer/gst-plugins-base/issues/520) and most of the media-element WPTs uses a short ogv file, so I had to make our `canPlayType` report that it is not able to play this type to make the tests pick the alternative mp4 version of the same files. Once Ogg support for GStreamer improves, we should be able to revert this change.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/22477)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/task_source/user_interaction.rs')
0 files changed, 0 insertions, 0 deletions