Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #24364 - servo:jdm-patch-35, r=SimonSapin

Browse source 
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 -->
This commit is contained in:
bors-servo 2019-10-04 06:47:40 -04:00 • committed by GitHub
commit ea46008288
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
resources/user-agent-js/00.example.js
View file

@ -3,4 +3,3 @@
// Files are sorted alphabetically. When committing polyfills
// order them with numbers, e.g. `01.innerhtml.js` will be executed before
// `05.jquery.js`
WheelEvent = { DOM_DELTA_PIXEL: 5, DOM_DELTA_LINE: 5, DOM_DELTA_PAGE: 5 };