| 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", |