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

Source/devtools/front_end/ui/ViewportControl.js

 /*
  * Copyright (C) 2013 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 360 matching lines @@
                 this._renderedItems[i].willHide();
             this._renderedItems = [];
             this._contentElement.removeChildren();
             this._topGapElement.style.height = "0px";
             this._bottomGapElement.style.height = "0px";
             this._firstVisibleIndex = -1;
             this._lastVisibleIndex = -1;
             return;
         }
 
-        var selection = window.getSelection();
+        var selection = this.element.window().getSelection();
         var shouldRestoreSelection = this._updateSelectionModel(selection);
 
         var visibleFrom = this.element.scrollTop;
         var visibleHeight = this._visibleHeight();
         this._scrolledToBottom = this.element.isScrolledToBottom();
         var isInvalidating = !this._cumulativeHeights;
 
         if (this._cumulativeHeights && itemCount !== this._cumulativeHeights.length)
             delete this._cumulativeHeights;
         for (var i = 0; i < this._renderedItems.length; ++i) {
@@ skipping 81 matching lines @@
             }
             this._renderedItems.push(viewportElement);
         }
     },
 
     /**
      * @return {?string}
      */
     _selectedText: function()
     {
-        this._updateSelectionModel(window.getSelection());
+        this._updateSelectionModel(this.element.window().getSelection());
         if (!this._headSelection || !this._anchorSelection)
             return null;
 
         var startSelection = null;
         var endSelection = null;
         if (this._selectionIsBackward) {
             startSelection = this._headSelection;
             endSelection = this._anchorSelection;
         } else {
             startSelection = this._anchorSelection;
@@ skipping 108 matching lines @@
 
     /**
      * @return {number}
      */
     _visibleHeight: function()
     {
         // Use offsetHeight instead of clientHeight to avoid being affected by horizontal scroll.
         return this.element.offsetHeight;
     }
 }