| 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..7867546b8508822450d1dcfbeca2bcb52b2274fe 100644
|
| --- a/chrome/browser/resources/options/extension_settings.js
|
| +++ b/chrome/browser/resources/options/extension_settings.js
|
| @@ -153,6 +153,19 @@ 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 + ")";
|
| + }
|
| +
|
| + $('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).
|
|
|