| 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 577907d3b9418475ae17051e0d1c05abbe995a63..bbfb4b80002ee3f579cb59cba79a8b381f3ed5a5 100644
|
| --- a/chrome/browser/resources/media_router/externs.js
|
| +++ b/chrome/browser/resources/media_router/externs.js
|
| @@ -63,3 +63,9 @@ document.timeline = {};
|
| * @return {!Animation}
|
| */
|
| document.timeline.play = function(effect) {};
|
| +
|
| +/**
|
| + * @param {!number} index
|
| + * @return {undefined}
|
| + */
|
| +Element.prototype.selectIndex = function(index) {};
|
|
|