diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-09-25 03:51:53 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-25 03:51:53 -0500 |
commit | f3214372bf7f754126e8b032225f81aea1cccb1b (patch) | |
tree | b861449a4cf2243a31317aa18f40f09f3e4fca42 /components/script/document_loader.rs | |
parent | eba9b802ab7d1158a965923b44490a0d9b8b361a (diff) | |
parent | 5245931dc283af528bb085f652d41856246b01bb (diff) | |
download | servo-f3214372bf7f754126e8b032225f81aea1cccb1b.tar.gz servo-f3214372bf7f754126e8b032225f81aea1cccb1b.zip |
Auto merge of #18582 - servo:media, r=emilio
Improve HTMLMediaElement
<!-- 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/18582)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/document_loader.rs')
0 files changed, 0 insertions, 0 deletions