| 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) {
|
|
|