[DevTools] Rename View to Widget.

Source/devtools/front_end/resources/DatabaseQueryView.js

 /*
  * Copyright (C) 2008 Apple 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.
  * 2. Redistributions in binary form must reproduce the above copyright
  *    notice, this list of conditions and the following disclaimer in the
@@ skipping 151 matching lines @@
             this.dispatchEventToListeners(WebInspector.DatabaseQueryView.Events.SchemaUpdated, this.database);
     },
 
     _queryError: function(query, errorMessage)
     {
         this._appendErrorQueryResult(query, errorMessage);
     },
 
     /**
      * @param {string} query
-     * @param {!WebInspector.View} view
+     * @param {!WebInspector.Widget} view
      */
     _appendViewQueryResult: function(query, view)
     {
         var resultElement = this._appendQueryResult(query);
         view.show(resultElement);
 
         this._promptElement.scrollIntoView(false);
     },
 
     /**
@@ skipping 21 matching lines @@
         element.appendChild(commandTextElement);
 
         var resultElement = createElement("div");
         resultElement.className = "database-query-result";
         element.appendChild(resultElement);
         return resultElement;
     },
 
     __proto__: WebInspector.VBox.prototype
 }