[DevTools] Rename View to Widget.

Source/devtools/front_end/extensions/ExtensionPanel.js

 /*
  * Copyright (C) 2012 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:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 41 matching lines @@
     this.setDefaultFocusedElement(extensionView.defaultFocusedElement());
 }
 
 WebInspector.ExtensionPanel.prototype = {
     /**
      * @override
      * @return {!Element}
      */
     defaultFocusedElement: function()
     {
-        return WebInspector.View.prototype.defaultFocusedElement.call(this);
+        return WebInspector.Widget.prototype.defaultFocusedElement.call(this);
     },
 
     /**
      * @param {!WebInspector.ToolbarItem} item
      */
     addToolbarItem: function(item)
     {
         this._panelToolbar.element.classList.remove("hidden");
         this._panelToolbar.appendToolbarItem(item);
     },
@@ skipping 236 matching lines @@
         if (!title)
             section.titleLessMode();
         section.expand();
         section.editable = false;
         this._objectPropertiesView.element.appendChild(section.element);
         callback();
     },
 
     __proto__: WebInspector.SidebarPane.prototype
 }