| 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 b285a4c581a34e3cc41a6711bc90176f6df799c7..51f884ecafc4a0ddc197cd979b156ed8d9987f4c 100644
|
| --- a/content/browser/resources/media/media_internals.js
|
| +++ b/content/browser/resources/media/media_internals.js
|
| @@ -11,4 +11,5 @@ var media = {};
|
| // <include src="client_renderer.js">
|
|
|
| media.initialize(new Manager(new ClientRenderer()));
|
| -cr.ui.decorate('tabbox', cr.ui.TabBox);
|
| +if (cr.ui)
|
| + cr.ui.decorate('tabbox', cr.ui.TabBox);
|
|
|