[DevTools] Rework Popover API

third_party/WebKit/Source/devtools/front_end/dom_extension/DOMExtension.js

Index: third_party/WebKit/Source/devtools/front_end/dom_extension/DOMExtension.js
diff --git a/third_party/WebKit/Source/devtools/front_end/dom_extension/DOMExtension.js b/third_party/WebKit/Source/devtools/front_end/dom_extension/DOMExtension.js
index dd12c013026953a83e5d8512b85c04db19ccdcba..f9d202ca5a5707aecd46a3361aceb160e9e89138 100644
--- a/third_party/WebKit/Source/devtools/front_end/dom_extension/DOMExtension.js
+++ b/third_party/WebKit/Source/devtools/front_end/dom_extension/DOMExtension.js
@@ -472,6 +472,15 @@ var AnchorBox = class {
     this.width = width || 0;
     this.height = height || 0;
   }
+
+  /**
+   * @param {number} x
+   * @param {number} y
+   * @return {boolean}
+   */
+  contains(x, y) {
+    return x >= this.x && x <= this.x + this.width && y >= this.y && y <= this.y + this.height;
+  }
 };
 
 /**