DevTools: Rename WebInspector.DOMAgent into WebInspector.DOMModel

Source/devtools/front_end/ObjectPopoverHelper.js

 /*
  * Copyright (C) 2011 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 135 matching lines @@
                 const popoverWidth = 300;
                 const popoverHeight = 250;
                 popover.show(popoverContentElement, anchorElement, popoverWidth, popoverHeight);
             }
         }
         this._queryObject(element, showObjectPopover.bind(this), this._popoverObjectGroup);
     },
 
     _onHideObjectPopover: function()
     {
-        WebInspector.domAgent.hideDOMNodeHighlight();
+        WebInspector.domModel.hideDOMNodeHighlight();
         if (this._linkifier) {
             this._linkifier.reset();
             delete this._linkifier;
         }
         if (this._onHideCallback)
             this._onHideCallback();
         RuntimeAgent.releaseObjectGroup(this._popoverObjectGroup);
     },
 
     _updateHTMLId: function(properties, rootTreeElementConstructor, rootPropertyComparer)
     {
         for (var i = 0; i < properties.length; ++i) {
             if (properties[i].name === "id") {
                 if (properties[i].value.description)
                     this._titleElement.textContent += "#" + properties[i].value.description;
                 break;
             }
         }
         this._sectionUpdateProperties(properties, rootTreeElementConstructor, rootPropertyComparer);
     },
 
     __proto__: WebInspector.PopoverHelper.prototype
 }