Closed Bug 1391170 Opened 7 years ago Closed 7 years ago

Remove the dependency on MediaResource from HTMLMediaElement

Categories

(Core :: Audio/Video: Playback, enhancement, P3)

enhancement

Tracking

()

RESOLVED FIXED
mozilla57
Tracking Status
firefox57 --- fixed

People

(Reporter: jwwang, Assigned: jwwang)

References

Details

Attachments

(1 file)

HTMLMediaElement should depends on the public API of MediaDecoder without knowing its details like MediaResource.
Assignee: nobody → jwwang
Blocks: 1373160
Priority: -- → P3
Attachment #8899687 - Flags: review?(gsquelart)
This also reduces the surface area of the MediaDecoder API to make it easier for porting to Servo.
Blocks: servo-media
Comment on attachment 8899687 [details]
Bug 1391170 - lessen the assertion in AddMediaElementToURITable() so we can move MediaDecoder::GetResource() to private.

https://reviewboard.mozilla.org/r/171006/#review176180
Attachment #8899687 - Flags: review?(gsquelart) → review+
Thanks!
Pushed by jwwang@mozilla.com:
https://hg.mozilla.org/integration/autoland/rev/d65d1c6af009
lessen the assertion in AddMediaElementToURITable() so we can move MediaDecoder::GetResource() to private. r=gerald
https://hg.mozilla.org/mozilla-central/rev/d65d1c6af009
Status: NEW → RESOLVED
Closed: 7 years ago
Resolution: --- → FIXED
Target Milestone: --- → mozilla57
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: