| Index: chrome/browser/resources/extensions/extensions.html
|
| diff --git a/chrome/browser/resources/extensions/extensions.html b/chrome/browser/resources/extensions/extensions.html
|
| index 108339376138556969bffe3e500db4314b2e69f4..4bb9a1252e7c625eea5c8f6441cca6369253fc69 100644
|
| --- a/chrome/browser/resources/extensions/extensions.html
|
| +++ b/chrome/browser/resources/extensions/extensions.html
|
| @@ -88,6 +88,17 @@
|
| <button id="update-extensions-now"
|
| i18n-content="extensionSettingsUpdateButton"></button>
|
| </div>
|
| + <div id="apps-developer-tools-promo">
|
| + <img></img>
|
| + <span id="apps-developer-tools-promo-text"
|
| + i18n-content="extensionSettingsAppsDevToolsPromoText"></span>
|
| + <a id="apps-developer-tools-promo-link" target="_blank"
|
| + i18n-content="extensionSettingsAppsDevToolsLinkText"
|
| + i18n-values="href:extensionSettingsAppsDevToolsUrl"></a>
|
| + <div id="apps-developer-tools-promo-close-wrapper">
|
| + <div class="close-button"></div>
|
| + </div>
|
| + </div>
|
| </div>
|
| <div id="extension-settings-list" class="empty-extension-list"></div>
|
| <div id="no-extensions">
|
|
|