Index: chrome/browser/resources/extensions/extension_list.js |
diff --git a/chrome/browser/resources/extensions/extension_list.js b/chrome/browser/resources/extensions/extension_list.js |
index 56eac8c0256443724e23e90f2f8f19846bdd9769..8af6cb8abdac9c7019131d59a090968f1d287e43 100644 |
--- a/chrome/browser/resources/extensions/extension_list.js |
+++ b/chrome/browser/resources/extensions/extension_list.js |
@@ -41,6 +41,7 @@ |
* name: string, |
* offlineEnabled: boolean, |
* optionsOpenInTab: boolean, |
+ * optionsPageHref: string, |
* optionsUrl: string, |
* order: number, |
* packagedApp: boolean, |