[DevTools] Ban getSelection, requestAnimationFrame, cancelAnimationFrame global functions.

Source/devtools/front_end/platform/DOMExtension.js

 /*
  * Copyright (C) 2007 Apple Inc.  All rights reserved.
  * Copyright (C) 2012 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:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
@@ skipping 257 matching lines @@
 
 /**
  * @return {?Node}
  */
 Node.prototype.parentNodeOrShadowHost = function()
 {
     return this.parentNode || this.host || null;
 }
 
 /**
+ * @return {!Window}
+ */
+Node.prototype.window = function()
+{
+    return this.ownerDocument.defaultView;
+}
+
+/**
  * @param {string} query
  * @return {?Node}
  */
 Element.prototype.query = function(query)
 {
     return this.ownerDocument.evaluate(query, this, null, XPathResult.FIRST_ORDERED_NODE_TYPE, null).singleNodeValue;
 }
 
 Element.prototype.removeChildren = function()
 {
     if (this.firstChild)
         this.textContent = "";
 }
 
 /**
  * @return {boolean}
  */
 Element.prototype.isInsertionCaretInside = function()
 {
-    var selection = window.getSelection();
+    var selection = this.window().getSelection();
     if (!selection.rangeCount || !selection.isCollapsed)
         return false;
     var selectionRange = selection.getRangeAt(0);
     return selectionRange.startContainer.isSelfOrDescendant(this);
 }
 
 /**
  * @param {string} tagName
  * @return {!Element}
  * @suppressGlobalPropertiesCheck
@@ skipping 273 matching lines @@
     return this;
 }
 
 /**
  * @return {?number}
  */
 Element.prototype.selectionLeftOffset = function()
 {
     // Calculate selection offset relative to the current element.
 
-    var selection = window.getSelection();
+    var selection = this.window().getSelection();
     if (!selection.containsNode(this, true))
         return null;
 
     var leftOffset = selection.anchorOffset;
     var node = selection.anchorNode;
 
     while (node !== this) {
         while (node.previousSibling) {
             node = node.previousSibling;
             leftOffset += node.textContent.length;
@@ skipping 189 matching lines @@
     {
         window.removeEventListener("DOMContentLoaded", windowLoaded, false);
         callback();
     }
 
     if (document.readyState === "complete")
         callback();
     else
         window.addEventListener("DOMContentLoaded", windowLoaded, false);
 }