mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Auto merge of #21999 - asajeffrey:script-dummy-media-position-changed, r=ferjm
Update servo-media <!-- Please describe your changes on the following line: --> Get servo to compile against servo-media master. --- <!-- 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 do not require tests because updating a dependency <!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.--> <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> <!-- 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/21999) <!-- Reviewable:end -->
This commit is contained in:
commit
b19f9d9c5b
4 changed files with 14 additions and 8 deletions
|
@ -1038,6 +1038,9 @@ impl HTMLMediaElement {
|
|||
},
|
||||
_ => {},
|
||||
},
|
||||
PlayerEvent::PositionChanged(_) => {
|
||||
// TODO: Support for HTMLMediaElement seeking and related API properties #21998
|
||||
},
|
||||
PlayerEvent::EndOfStream => {
|
||||
// https://html.spec.whatwg.org/multipage/#media-data-processing-steps-list
|
||||
// => "If the media data can be fetched but is found by inspection to be in
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue