DevTools: Rename WebInspector.DOMAgent into WebInspector.DOMModel

Source/devtools/front_end/Main.js

Index: Source/devtools/front_end/Main.js
diff --git a/Source/devtools/front_end/Main.js b/Source/devtools/front_end/Main.js
index 754489f7c3fb44e364434475827945a912714b3c..194f9ab7440c80952a19bbf11bce14e8e1f661b9 100644
--- a/Source/devtools/front_end/Main.js
+++ b/Source/devtools/front_end/Main.js
@@ -617,7 +617,7 @@ WebInspector.Main.prototype = {
 
     _updateFocusedNode: function(nodeId)
     {
-        var node = WebInspector.domAgent.nodeForId(nodeId);
+        var node = WebInspector.domModel.nodeForId(nodeId);
         console.assert(node);
         WebInspector.Revealer.reveal(node);
     },
@@ -650,7 +650,7 @@ WebInspector.Main.prototype = {
         function callback(nodeId)
         {
             elementsPanel.stopOmittingDefaultSelection();
-            WebInspector.Revealer.reveal(WebInspector.domAgent.nodeForId(nodeId));
+            WebInspector.Revealer.reveal(WebInspector.domModel.nodeForId(nodeId));
             if (!WebInspector.inspectorView.drawerVisible() && !WebInspector._notFirstInspectElement)
                 InspectorFrontendHost.inspectElementCompleted();
             WebInspector._notFirstInspectElement = true;