Index: chrome/browser/resources/extensions/extension_list.js |
diff --git a/chrome/browser/resources/extensions/extension_list.js b/chrome/browser/resources/extensions/extension_list.js |
index 95240248fe4603ca49ce3603073600db7b18e494..ddf6d215637018c9368dd0e2a307b7f06735f861 100644 |
--- a/chrome/browser/resources/extensions/extension_list.js |
+++ b/chrome/browser/resources/extensions/extension_list.js |
@@ -150,7 +150,7 @@ cr.define('options', function() { |
fileAccess.hidden = false; |
} |
- // The 'Options' checkbox. |
+ // The 'Options' link. |
if (extension.enabled && extension.optionsUrl) { |
var options = node.querySelector('.options-link'); |
options.addEventListener('click', function(e) { |
@@ -160,6 +160,13 @@ cr.define('options', function() { |
options.hidden = false; |
} |
+ // The 'Permissions' link. |
+ var permissions = node.querySelector('.permissions-link'); |
+ permissions.addEventListener('click', function(e) { |
+ chrome.send('extensionSettingsPermissions', [extension.id]); |
+ e.preventDefault(); |
+ }); |
+ |
if (extension.allow_activity) { |
var activity = node.querySelector('.activity-link'); |
activity.addEventListener('click', function(e) { |