Removed old media-internals page and rewrote it.

content/browser/resources/media/new/player_list_painter.js

+// Copyright (c) 2012 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.
+
+var playerListPainter = (function () {
+  "use strict";
+  var playerListPainter = {};
+
+  playerListPainter.paintNew = function (playerInfo, div, opt_properties) {
+    var ul = document.createElement('ul');
+    var playerManager = opt_properties.playerManager;
+
+    goog.object.forEach(playerManager.players, function (player, id) {
+      // If we have the opportunity to name it
+      // something human readable, do so.
+
+      var name;
+      // If we have a url, use the file name (but not path) as the
+      // name that is displayed
+      if (player.properties.url) {
+        var split = player.properties.url.split("/");
+        name = split[split.length - 1];
+      }
+
+      name = name || player.properties.name || "player " + id;
+      var li = document.createElement('li');
+      var btn = document.createElement('button');
+
+      btn.onclick = function () {
+        playerManager.selectPlayer(id);
+      };
+
+      btn.appendChild(document.createTextNode(name));
+      li.appendChild(btn);
+      ul.appendChild(li);
+    });
+
+    removeChildren(div);
+    div.appendChild(ul);
+  };
+
+  playerListPainter.paintExist = playerListPainter.paintNew;
+
+  playerListPainter.invalidate = function () {
+  };
+
+  return playerListPainter;
+}());