diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-10-09 04:15:18 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-09 04:15:18 -0400 |
commit | 3b153af49c8635e01b3a8eed86b5a1f901d58353 (patch) | |
tree | 4aadde035e0e511f993cdb5d32334dfe416b712a /python/servo/util.py | |
parent | 3455d223db93ab7e3b549dc2795577855bc8d9c6 (diff) | |
parent | 7e6661d9abd7b54b14853fbb469b5d7fa4442b84 (diff) | |
download | servo-3b153af49c8635e01b3a8eed86b5a1f901d58353.tar.gz servo-3b153af49c8635e01b3a8eed86b5a1f901d58353.zip |
Auto merge of #21543 - ceyusa:wip-player, r=<try>
Add <audio> and <video> player backends
These patches enables audio and video playing inside Servo.
It is bit hackish way to enable it, thus the purpose of this pull request is for an early request for comments.
It is tested with the current servo-media GStreamer backend in Linux.
~~The produced layout is not correct, since the elements after the video seems to be stacked behind, and the same with the scrolling bars.~~
~~There is no JavaScript interface yet~~, neither controls.
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: -->
- [X] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [X] These changes fix #6711
<!-- 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/21543)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/util.py')
0 files changed, 0 insertions, 0 deletions