diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-11-07 12:16:58 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-07 12:16:58 -0500 |
| commit | b93d4b2ac6a24f1d377b4cb3393f79e0e877c642 (patch) | |
| tree | b709a201b320efe5e5cb85e65690cdc3f3ad9a18 /components/script/dom/webgl_extensions/extensions.rs | |
| parent | 9c7efd9151bff29192f40bcc0efec5a7e87a6a80 (diff) | |
| parent | ebe6c3fac342fe17e9236c3c1a7b8c34328940cc (diff) | |
| download | servo-b93d4b2ac6a24f1d377b4cb3393f79e0e877c642.tar.gz servo-b93d4b2ac6a24f1d377b4cb3393f79e0e877c642.zip | |
Auto merge of #22129 - ferjm:media.task.source, r=Manishearth
HTMLMediaElement - use media element instead of dom manipulation task…
… source
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
<!-- 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/22129)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webgl_extensions/extensions.rs')
0 files changed, 0 insertions, 0 deletions