Displaying the extensions count in extensions settings page.

chrome/browser/resources/options/extension_settings.js

Index: chrome/browser/resources/options/extension_settings.js
diff --git a/chrome/browser/resources/options/extension_settings.js b/chrome/browser/resources/options/extension_settings.js
index 0beff40f775e64aa99950ada62541adc089fcf71..8a3b14b471ffb505d4fc6efd9e2ceef93f949616 100644
--- a/chrome/browser/resources/options/extension_settings.js
+++ b/chrome/browser/resources/options/extension_settings.js
@@ -153,6 +153,20 @@ cr.define('options', function() {
     $('suggest-gallery').hidden = true;
     $('get-more-extensions-container').hidden = true;
 
+    // Append extension count to extensionSettingsTitle and frame
+    // the extension header string. If there are no extensions loaded
+    // then display title as Extensions only.
+    $('extension-settings-header').hidden = false;
+    $('dev-toggle').hidden = false;
+    var extensionSettingsHeader = templateData.extensionSettingsTitle;
+    if (extensionsData.extensions.length > 0) {
+      extensionSettingsHeader = templateData.extensionSettingsTitle + " (" +
+          extensionsData.extensions.length +
+          ")";

[Finnur, 2011/09/19 16:48:41]

nit: Move this to the line above.

+    }
+
+    $('extension-settings-header').innerText = extensionSettingsHeader;
+
     if (extensionsData.extensions.length > 0) {
       // Enforce order specified in the data or (if equal) then sort by
       // extension name (case-insensitive).