| Index: chrome/browser/resources/media_router/externs.js
|
| diff --git a/chrome/browser/resources/media_router/externs.js b/chrome/browser/resources/media_router/externs.js
|
| index 5821b32cbbb4f9227a6d816c4f6e7c57ec542a44..c81db5b89b93e35aa4b1da9932b6a78ee3af6fef 100644
|
| --- a/chrome/browser/resources/media_router/externs.js
|
| +++ b/chrome/browser/resources/media_router/externs.js
|
| @@ -13,3 +13,9 @@ var performance = {};
|
| * @return {number}
|
| */
|
| performance.now = function() {};
|
| +
|
| +/** @interface */
|
| +var InputDeviceCapabilities;
|
| +
|
| +/** @type {?InputDeviceCapabilities} */
|
| +Event.prototype.sourceCapabilities;
|
|
|