DevTools: [lighthouse] Implement performance metrics filmstrip

third_party/WebKit/Source/devtools/front_end/devtools_compatibility.js

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 /* eslint-disable indent */
 (function(window) {
 
   // DevToolsAPI ----------------------------------------------------------------
 
   /**
    * @unrestricted
@@ skipping 374 matching lines @@
      * @param {function()} callback
      */
     setIsDocked(isDocked, callback) {
       DevToolsAPI.sendMessageToEmbedder('setIsDocked', [isDocked], callback);
     }
 
     /**
      * Requests inspected page to be placed atop of the inspector frontend with specified bounds.
      * @override
      * @param {{x: number, y: number, width: number, height: number}} bounds
+     * @param {boolean=} force
      */
-    setInspectedPageBounds(bounds) {
-      DevToolsAPI.sendMessageToEmbedder('setInspectedPageBounds', [bounds], null);
+    setInspectedPageBounds(bounds, force) {
+      DevToolsAPI.sendMessageToEmbedder('setInspectedPageBounds', [bounds, force || false], null);
     }
 
     /**
      * @override
      */
     inspectElementCompleted() {
       DevToolsAPI.sendMessageToEmbedder('inspectElementCompleted', [], null);
     }
 
     /**
@@ skipping 865 matching lines @@
      * @return {boolean}
      */
     DOMTokenList.prototype.toggle = function(token, force) {
       if (arguments.length === 1)
         force = !this.contains(token);
       return this.__originalDOMTokenListToggle(token, !!force);
     };
   }
 
 })(window);