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 ddf6d215637018c9368dd0e2a307b7f06735f861..e6a938c7ed79c7bfd40ef53fb0802239cd62229f 100644 |
--- a/chrome/browser/resources/extensions/extension_list.js |
+++ b/chrome/browser/resources/extensions/extension_list.js |
@@ -54,15 +54,15 @@ cr.define('options', function() { |
// Iterate over the extension data and add each item to the list. |
this.data_.extensions.forEach(this.createNode_, this); |
- var id_to_highlight = this.getIdQueryParam_(); |
- if (id_to_highlight) { |
+ var idToHighlight = this.getIdQueryParam_(); |
+ if (idToHighlight) { |
// Scroll offset should be calculated slightly higher than the actual |
// offset of the element being scrolled to, so that it ends up not all |
// the way at the top. That way it is clear that there are more elements |
// above the element being scrolled to. |
- var scroll_fudge = 1.2; |
- var offset = $(id_to_highlight).offsetTop - |
- (scroll_fudge * $(id_to_highlight).clientHeight); |
+ var scrollFudge = 1.2; |
+ var offset = $(idToHighlight).offsetTop - |
+ (scrollFudge * $(idToHighlight).clientHeight); |
var wrapper = this.parentNode; |
var list = wrapper.parentNode; |
list.scrollTop = offset; |
@@ -92,8 +92,8 @@ cr.define('options', function() { |
if (!extension.userModifiable) |
node.classList.add('may-not-disable'); |
- var id_to_highlight = this.getIdQueryParam_(); |
- if (node.id == id_to_highlight) |
+ var idToHighlight = this.getIdQueryParam_(); |
+ if (node.id == idToHighlight) |
node.classList.add('extension-highlight'); |
var item = node.querySelector('.extension-list-item'); |
@@ -241,9 +241,9 @@ cr.define('options', function() { |
enable.querySelector('input').checked = extension.enabled; |
} else { |
- var terminated_reload = node.querySelector('.terminated-reload-link'); |
- terminated_reload.hidden = false; |
- terminated_reload.addEventListener('click', function(e) { |
+ var terminatedReload = node.querySelector('.terminated-reload-link'); |
+ terminatedReload.hidden = false; |
+ terminatedReload.addEventListener('click', function(e) { |
chrome.send('extensionSettingsReload', [extension.id]); |
}); |
} |