Display active media players on chrome://media-internals.

chrome/browser/resources/media_internals/disjoint_range_set.js

 // Copyright (c) 2011 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.
 
 cr.define('media', function() {
 
   /**
    * This class represents a collection of non-intersecting ranges. Ranges
    * specified by (start, end) can be added and removed at will. It is used to
    * record which sections of a media file have been cached, e.g. the first and
    * last few kB plus several MB in the middle.
    *
    * Example usage:
    * someRange.add(0, 100);     // Contains 0-100.
    * someRange.add(150, 200);   // Contains 0-100, 150-200.
    * someRange.remove(25, 75);  // Contains 0-24, 76-100, 150-200.
    * someRange.add(25, 149);    // Contains 0-200.
    */
   function DisjointRangeSet() {
     this.ranges_ = {};
-  };
+  }
 
   DisjointRangeSet.prototype = {
     /**
      * Deletes all ranges intersecting with (start ... end) and returns the
      * extents of the cleared area.
      * @param {int} start The start of the range to remove.
      * @param {int} end The end of the range to remove.
      * @param {int} sloppiness 0 removes only strictly overlapping ranges, and
      *                         1 removes adjacent ones.
      * @return {Object} The start and end of the newly cleared range.
@@ skipping 104 matching lines @@
       for (var start in this.ranges_)
         max = Math.max(max, this.ranges_[start]);
       return max;
     },
   };
 
   return {
     DisjointRangeSet: DisjointRangeSet
   };
 });