[DevTools] Rename View to Widget.

Source/devtools/front_end/ui/EmptyWidget.js

Index: Source/devtools/front_end/ui/EmptyWidget.js
diff --git a/Source/devtools/front_end/ui/EmptyView.js b/Source/devtools/front_end/ui/EmptyWidget.js
similarity index 93%
rename from Source/devtools/front_end/ui/EmptyView.js
rename to Source/devtools/front_end/ui/EmptyWidget.js
index 821610dd8b28f2424bf5a2514e6398c0106c5576..23eefbda4fe79e2129f81d6d209a68115c260da4 100644
--- a/Source/devtools/front_end/ui/EmptyView.js
+++ b/Source/devtools/front_end/ui/EmptyWidget.js
@@ -32,16 +32,16 @@
  * @constructor
  * @extends {WebInspector.VBox}
  */
-WebInspector.EmptyView = function(text)
+WebInspector.EmptyWidget = function(text)
 {
     WebInspector.VBox.call(this);
-    this.registerRequiredCSS("ui/emptyView.css");
+    this.registerRequiredCSS("ui/emptyWidget.css");
     this.element.classList.add("empty-view");
     this.textElement = this.element.createChild("span");
     this._text = text;
 }
 
-WebInspector.EmptyView.prototype = {
+WebInspector.EmptyWidget.prototype = {
     wasShown: function()
     {
         this.textElement.textContent = this._text;