Fix HTMLVideoElement.prototype.{width,height} type.

By external contributor @fredj. Closes PR #1664. ------------- Created by MOE: https://github.com/google/moe MOE_MIGRATED_REVID=117466562
google · Mar 17, 2016 · 9101452 · 9101452
1 parent 01de6d7
commit 9101452
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/externs/browser/html5.js b/externs/browser/html5.js
@@ -1697,10 +1697,10 @@ HTMLVideoElement.prototype.webkitExitFullscreen = function() {};
  */
 HTMLVideoElement.prototype.webkitExitFullScreen = function() {};
 
-/** @type {string} */
+/** @type {number} */
 HTMLVideoElement.prototype.width;
 
-/** @type {string} */
+/** @type {number} */
 HTMLVideoElement.prototype.height;
 
 /** @type {number} */