Video Player: Add a cast menu

ui/file_manager/video_player/js/video_player_scripts.js

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 e0905cb274f76db12b4e32badcb8e8bc9d1b57c8..c8fe05d383c5e657b1cb37458074efe07ebae28d 100644
--- a/ui/file_manager/video_player/js/video_player_scripts.js
+++ b/ui/file_manager/video_player/js/video_player_scripts.js
@@ -13,6 +13,17 @@
 //<include src="../../../webui/resources/js/cr.js"/>
 //<include src="../../../webui/resources/js/load_time_data.js"/>
 
+//<include src="../../../webui/resources/js/event_tracker.js"/>
+
+//<include src="../../../webui/resources/js/cr/ui.js"/>
+//<include src="../../../webui/resources/js/cr/event_target.js"/>
+
+//<include src="../../../webui/resources/js/cr/ui/position_util.js"/>
+//<include src="../../../webui/resources/js/cr/ui/menu_item.js"/>
+//<include src="../../../webui/resources/js/cr/ui/menu.js"/>
+//<include src="../../../webui/resources/js/cr/ui/menu_button.js"/>
+//<include src="../../../webui/resources/js/cr/ui/context_menu_handler.js"/>
+
 (function() {
 'use strict';
 
@@ -20,6 +31,10 @@
 //<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/load_cast_extension_api.js"/>
+//<include src="cast/caster.js"/>
+
 //<include src="video_player.js"/>
 
 window.unload = unload;