lib/html/dart2js/html_dart2js.dart

Index: lib/html/dart2js/html_dart2js.dart
diff --git a/lib/html/dart2js/html_dart2js.dart b/lib/html/dart2js/html_dart2js.dart
index c71369730771571a53885ac0f1bdc5b76d5db191..9ef933f16e6a54874848f0c39b9da7b08f35d9df 100644
--- a/lib/html/dart2js/html_dart2js.dart
+++ b/lib/html/dart2js/html_dart2js.dart
@@ -36918,15 +36918,15 @@ abstract class WheelEvent implements MouseEvent {
   /** @domName WheelEvent.webkitDirectionInvertedFromDevice */
   abstract bool get webkitDirectionInvertedFromDevice;
 
-  /** @domName WheelEvent.initWebKitWheelEvent */
-  void initWebKitWheelEvent(int wheelDeltaX, int wheelDeltaY, LocalWindow view, int screenX, int screenY, int clientX, int clientY, bool ctrlKey, bool altKey, bool shiftKey, bool metaKey);
-
-
   /** @domName WheelEvent.deltaX */
-  num get deltaX;
+  abstract int get deltaX;
 
   /** @domName WheelEvent.deltaY */
-  num get deltaY;
+  abstract int get deltaY;
+
+  /** @domName WheelEvent.initWebKitWheelEvent */
+  void initWebKitWheelEvent(int wheelDeltaX, int wheelDeltaY, LocalWindow view, int screenX, int screenY, int clientX, int clientY, bool ctrlKey, bool altKey, bool shiftKey, bool metaKey);
+
 
   /** @domName WheelEvent.deltaMode */
   int get deltaMode;