| Index: client/dom/generated/wrapping_dom_externs.js
|
| diff --git a/client/dom/generated/wrapping_dom_externs.js b/client/dom/generated/wrapping_dom_externs.js
|
| index c2133851027289c536e386a5ef96d321992d4988..00c6077357054cc78b056ab37976e1b50d6f0264 100644
|
| --- a/client/dom/generated/wrapping_dom_externs.js
|
| +++ b/client/dom/generated/wrapping_dom_externs.js
|
| @@ -594,7 +594,7 @@ dom_externs.initTouchEvent; // operation TouchEvent.initTouchEvent
|
| dom_externs.initUIEvent; // operation UIEvent.initUIEvent
|
| dom_externs.initWebKitAnimationEvent; // operation WebKitAnimationEvent.initWebKitAnimationEvent
|
| dom_externs.initWebKitTransitionEvent; // operation WebKitTransitionEvent.initWebKitTransitionEvent
|
| -dom_externs.initWheelEvent; // operation WheelEvent.initWheelEvent
|
| +dom_externs.initWebKitWheelEvent; // operation WheelEvent.initWebKitWheelEvent
|
| dom_externs.initialTime; // attribute HTMLMediaElement.initialTime
|
| dom_externs.innerHTML; // attribute HTMLElement.innerHTML
|
| dom_externs.innerHeight; // attribute DOMWindow.innerHeight
|
|
|