diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-10-04 06:47:40 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-04 06:47:40 -0400 |
commit | ea4600828861010da859399d3d432e2252619c2d (patch) | |
tree | dcec8156f8c6770ff651bcd800e850d3a57e36d1 /components/script/dom/htmlvideoelement.rs | |
parent | ea4e3aee91ede11a00b17c3d806e305f4a7f5a92 (diff) | |
parent | 515b889cfcac64ef9f8ef5597f434720cb3877d8 (diff) | |
download | servo-ea4600828861010da859399d3d432e2252619c2d.tar.gz servo-ea4600828861010da859399d3d432e2252619c2d.zip |
Auto merge of #24364 - servo:jdm-patch-35, r=SimonSapin
Remove outdated userscript content.
We now support WheelEvent, so this isn't necessary.
<!-- 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/24364)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/htmlvideoelement.rs')
0 files changed, 0 insertions, 0 deletions