DevTools: reformat front-end code to match chromium style.

third_party/WebKit/Source/devtools/front_end/profiler/ProfileView.js

Index: third_party/WebKit/Source/devtools/front_end/profiler/ProfileView.js
diff --git a/third_party/WebKit/Source/devtools/front_end/profiler/ProfileView.js b/third_party/WebKit/Source/devtools/front_end/profiler/ProfileView.js
index 6c0f189a27795feb8e4839a4d8365baec1eaf0d6..e045c7f4115c0b3f167b3f03f9248ec73e3731af 100644
--- a/third_party/WebKit/Source/devtools/front_end/profiler/ProfileView.js
+++ b/third_party/WebKit/Source/devtools/front_end/profiler/ProfileView.js
@@ -97,12 +97,15 @@ WebInspector.ProfileView.prototype = {
             this._flameChart.update();
     },
 
+    /**
+     * @override
+     */
     focus: function()
     {
         if (this._flameChart)
             this._flameChart.focus();
         else
-            WebInspector.Widget.prototype.focus.call(this);
+            WebInspector.SimpleView.prototype.focus.call(this);
     },
 
     /**
@@ -507,6 +510,9 @@ WebInspector.WritableProfileHeader.prototype = {
         return !this.fromFile() && this._protocolProfile;
     },
 
+    /**
+     * @override
+     */
     saveToFile: function()
     {
         var fileOutputStream = new WebInspector.FileOutputStream();