DevTools: Fix all outstanding JavaScript style issues.

third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js

Index: third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
index 75b60c75e1c3b0dad01a460da47c8dadd48ad232..9f3fb088f76a98154fdfa0670d73a033e37dde11 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
@@ -278,7 +278,7 @@ WebInspector.TabbedPane.prototype = {
      */
     allTabs: function()
     {
-        return this._tabs.map(function (tab) { return tab.id; });
+        return this._tabs.map(function(tab) { return tab.id; });
     },
 
     /**
@@ -310,7 +310,7 @@ WebInspector.TabbedPane.prototype = {
         }
         if (index === -1)
             return [];
-        return this._tabs.slice(index + 1).map(function (tab) { return tab.id; });
+        return this._tabs.slice(index + 1).map(function(tab) { return tab.id; });
     },
 
     /**