| Index: content/browser/resources/media/media_internals.js
|
| diff --git a/content/browser/resources/media/media_internals.js b/content/browser/resources/media/media_internals.js
|
| index 554d6690982a6683e89a679bfa542ddbcd6fe50a..cad579789ebb0799f060b16d796bd69aed3b60b6 100644
|
| --- a/content/browser/resources/media/media_internals.js
|
| +++ b/content/browser/resources/media/media_internals.js
|
| @@ -4,13 +4,13 @@
|
|
|
| var media = {};
|
|
|
| -<include src="main.js"/>
|
| -<include src="util.js"/>
|
| -<include src="cache_entry.js"/>
|
| -<include src="disjoint_range_set.js"/>
|
| -<include src="player_info.js"/>
|
| -<include src="manager.js"/>
|
| -<include src="client_renderer.js"/>
|
| +// <include src="main.js">
|
| +// <include src="util.js">
|
| +// <include src="cache_entry.js">
|
| +// <include src="disjoint_range_set.js">
|
| +// <include src="player_info.js">
|
| +// <include src="manager.js">
|
| +// <include src="client_renderer.js">
|
|
|
| media.initialize(new Manager(new ClientRenderer()));
|
| cr.ui.decorate('tabbox', cr.ui.TabBox);
|
|
|