Index: ui/file_manager/video_player/js/video_player_scripts.js |
diff --git a/ui/file_manager/video_player/js/video_player_scripts.js b/ui/file_manager/video_player/js/video_player_scripts.js |
index 61e80f3cf1406c22f48a6681e92eee02db07815b..7e9519030c8380eeeaa8357efda4c7b3e9ff8281 100644 |
--- a/ui/file_manager/video_player/js/video_player_scripts.js |
+++ b/ui/file_manager/video_player/js/video_player_scripts.js |
@@ -32,6 +32,7 @@ |
//<include src="../../file_manager/foreground/js/media/media_controls.js"/> |
//<include src="../../file_manager/foreground/js/media/mouse_inactivity_watcher.js"/> |
+//<include src="cast/cast_extension_discoverer.js"/> |
//<include src="cast/cast_video_element.js"/> |
//<include src="cast/media_manager.js"/> |
//<include src="cast/caster.js"/> |