Revert "Remove mousewheel event name workaround"

This reverts commit 20ce664068.

Reverted upstream: https://github.com/google/closure-library/commit/4ee0daca0ec1bea486ab670310a6e9bdbaaad720

src/ol/map.js

@@ -265,7 +265,7 @@ ol.Map = function(options) {
     goog.events.EventType.TOUCHSTART,
     goog.events.EventType.MSPOINTERDOWN,
     ol.MapBrowserEvent.EventType.POINTERDOWN,
-    goog.events.EventType.MOUSEWHEEL
+    goog.userAgent.GECKO ? 'DOMMouseScroll' : 'mousewheel'
   ], goog.events.Event.stopPropagation);
   goog.dom.appendChild(this.viewport_, this.overlayContainerStopEvent_);