Index: chrome/devtools.js |
diff --git a/chrome/devtools.js b/chrome/devtools.js |
index 255aeb387bfa8db9e15005390587874a782f4a1b..7e2392dfab01fbf2197654ab6de0472531a8d788 100644 |
--- a/chrome/devtools.js |
+++ b/chrome/devtools.js |
@@ -22,7 +22,7 @@ chrome.runtime.sendMessage( |
type: "prefs.get", |
key: "show_devtools_panel" |
}, |
- function(enabled) |
+ enabled => |
{ |
if (enabled) |
chrome.devtools.panels.create("Adblock Plus", |