Index: chrome/browser/resources/options/website_settings.js |
diff --git a/chrome/browser/resources/options/website_settings.js b/chrome/browser/resources/options/website_settings.js |
index 1aae97f3d987ac044fd72996552d93f750e86f90..c6dba369595fad1e2a81450947aa8c593a427147 100644 |
--- a/chrome/browser/resources/options/website_settings.js |
+++ b/chrome/browser/resources/options/website_settings.js |
@@ -69,7 +69,8 @@ cr.define('options', function() { |
* @private |
*/ |
createOriginsList_: function() { |
- this.originList_ = this.pageDiv.querySelector('.origin-list'); |
+ this.originList_ = /** @type {options.OriginList} */( |
+ this.pageDiv.querySelector('.origin-list')); |
options.OriginList.decorate(this.originList_); |
this.originList_.autoExpands = true; |
}, |