[DevTools] Rename View to Widget.

Source/devtools/front_end/extensions/ExtensionView.js

Index: Source/devtools/front_end/extensions/ExtensionView.js
diff --git a/Source/devtools/front_end/extensions/ExtensionView.js b/Source/devtools/front_end/extensions/ExtensionView.js
index 5d55d31a2163c53fcdaeded4f1a046797eb3d370..19227c8919b0770e997244bdaadf17dfe1739290 100644
--- a/Source/devtools/front_end/extensions/ExtensionView.js
+++ b/Source/devtools/front_end/extensions/ExtensionView.js
@@ -30,7 +30,7 @@
 
 /**
  * @constructor
- * @extends {WebInspector.View}
+ * @extends {WebInspector.Widget}
  * @param {!WebInspector.ExtensionServer} server
  * @param {string} id
  * @param {string} src
@@ -38,7 +38,7 @@
  */
 WebInspector.ExtensionView = function(server, id, src, className)
 {
-    WebInspector.View.call(this);
+    WebInspector.Widget.call(this);
     this.element.className = "flex-auto fill"; // Override
 
     this._server = server;
@@ -73,7 +73,7 @@ WebInspector.ExtensionView.prototype = {
             this._server.notifyViewShown(this._id, this._frameIndex);
     },
 
-    __proto__: WebInspector.View.prototype
+    __proto__: WebInspector.Widget.prototype
 }
 
 /**