| 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,
|
|
|