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

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

Index: third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js b/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
index 2800c612939f5c1964931e608e651b43b562ce83..8f84d3143e501d4b28283ad51331b6e6be70de95 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/SplitWidget.js
@@ -671,22 +671,34 @@ WebInspector.SplitWidget.prototype = {
         return Math.max(0, totalSize - minMainSize);
     },
 
+    /**
+     * @override
+     */
     wasShown: function()
     {
         this._forceUpdateLayout();
         WebInspector.zoomManager.addEventListener(WebInspector.ZoomManager.Events.ZoomChanged, this._onZoomChanged, this);
     },
 
+    /**
+     * @override
+     */
     willHide: function()
     {
         WebInspector.zoomManager.removeEventListener(WebInspector.ZoomManager.Events.ZoomChanged, this._onZoomChanged, this);
     },
 
+    /**
+     * @override
+     */
     onResize: function()
     {
         this._updateLayout();
     },
 
+    /**
+     * @override
+     */
     onLayout: function()
     {
         this._updateLayout();