DevTools: Fix all outstanding JavaScript style issues.

third_party/WebKit/Source/devtools/front_end/main/Main.js

Index: third_party/WebKit/Source/devtools/front_end/main/Main.js
diff --git a/third_party/WebKit/Source/devtools/front_end/main/Main.js b/third_party/WebKit/Source/devtools/front_end/main/Main.js
index 498ae06c86ebc82fd08a06d612bf439da9aa416d..15d91a638a376155d9aa8c75ad0dd4da21072081 100644
--- a/third_party/WebKit/Source/devtools/front_end/main/Main.js
+++ b/third_party/WebKit/Source/devtools/front_end/main/Main.js
@@ -83,7 +83,7 @@ WebInspector.Main.prototype = {
                 var settings = JSON.parse(window.decodeURI(settingsParam));
                 for (var key in settings)
                     prefs[key] = settings[key];
-            } catch(e) {
+            } catch (e) {
                 // Ignore malformed settings.
             }
         }