diff options
| author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-11-06 20:14:36 +0100 |
|---|---|---|
| committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-11-06 20:15:14 +0100 |
| commit | ebe6c3fac342fe17e9236c3c1a7b8c34328940cc (patch) | |
| tree | 3d7953320c44ce42536748ff1355d59868313818 /components/script/dom/htmlscriptelement.rs | |
| parent | 32d97d695e7aaf8fea9003dc1e4ef69e6f645ffb (diff) | |
| download | servo-ebe6c3fac342fe17e9236c3c1a7b8c34328940cc.tar.gz servo-ebe6c3fac342fe17e9236c3c1a7b8c34328940cc.zip | |
HTMLMediaElement - use media element instead of dom manipulation task source
Diffstat (limited to 'components/script/dom/htmlscriptelement.rs')
0 files changed, 0 insertions, 0 deletions