Promote Apps Developer Tools in the chrome:extensions page

chrome/browser/resources/extensions/extensions.html

Index: chrome/browser/resources/extensions/extensions.html
diff --git a/chrome/browser/resources/extensions/extensions.html b/chrome/browser/resources/extensions/extensions.html
index 153efef1ee3c773e240fe241866159d1d2f06c59..8f20a8006a4765340f85f8627976f2dade32cde0 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" hidden>
+      <img></img>

[Dan Beam, 2014/04/18 21:27:28]

i'm not sure, but this may load an image with src=location.href which may
infinitely keep loading the same page... [1]

if this kind of wonky behavior still happens, can you just append this <img>
dynamically in JS or set some bogus src or something?  if not, ignore my stale
web development gotchas (it might've been fixed in new HTML/Chrome).

[1]
http://www.nczonline.net/blog/2009/11/30/empty-image-src-can-destroy-your-site/

[Devlin, 2014/04/18 22:19:55]

It doesn't look like this happens. So either fixed, or because it doesn't set
the src to empty? (The website identified src="" two ways, but didn't address
just var i = Image(), or <img></img>).

[Dan Beam, 2014/04/18 22:34:22]

great, pretty sure this is fixed, then.  it wouldn't happen in the new Image()
case, either way.

+      <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">