Index: chrome/browser/resources/options/extension_settings.js |
=================================================================== |
--- chrome/browser/resources/options/extension_settings.js (revision 102266) |
+++ chrome/browser/resources/options/extension_settings.js (working copy) |
@@ -153,20 +153,7 @@ |
$('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 + ")"; |
- } |
- |
- $('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). |
extensionsData.extensions.sort(function(a, b) { |
Property changes on: chrome\browser\resources\options\extension_settings.js |
___________________________________________________________________ |
Deleted: svn:mergeinfo |