[DevTools] Rename View to Widget.

Source/devtools/front_end/ui/Section.js

 /*
  * Copyright (C) 2007 Apple Inc.  All rights reserved.
  * Copyright (C) 2009 Google Inc.  All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
@@ skipping 112 matching lines @@
             return;
         this._expanded = false;
         this.element.classList.remove("expanded");
     },
 
     /**
      * @param {string} cssFile
      */
     registerRequiredCSS: function(cssFile)
     {
-        this.element.insertBefore(WebInspector.View.createStyleElement(cssFile), this.headerElement);
+        this.element.insertBefore(WebInspector.Widget.createStyleElement(cssFile), this.headerElement);
     },
 
     /**
      * @param {!Event} event
      * @protected
      */
     handleClick: function(event)
     {
         if (this._doNotExpandOnTitleClick)
             return;
@@ skipping 27 matching lines @@
     this.propertiesElement.classList.add("properties", "properties-tree", "monospace");
     this.propertiesTreeOutline.setFocusable(false);
     this.propertiesTreeOutline.section = this;
 
     this.element.appendChild(this.propertiesElement);
 }
 
 WebInspector.PropertiesSection.prototype = {
     __proto__: WebInspector.Section.prototype
 }