Index: ui/file_manager/video_player/video_player.html |
diff --git a/ui/file_manager/video_player/video_player.html b/ui/file_manager/video_player/video_player.html |
index 1dc833510e9bf011e80d701c3a87b9bfca0d2a78..c4b5f99461711b7c2219df4d01edb4fd0d20efff 100644 |
--- a/ui/file_manager/video_player/video_player.html |
+++ b/ui/file_manager/video_player/video_player.html |
@@ -17,6 +17,8 @@ |
<link rel="stylesheet" type="text/css" href="css/arrow_box.css"> |
<link rel="stylesheet" type="text/css" href="css/cast_menu.css"> |
+ <!-- Google Cast API extension --> |
+ <script src="_modules/mafeflapfdfljijmlienjedomfjfmhpd/cast_sender.js"></script> |
<script src="js/video_player_scripts.js"></script> |
</head> |
<body> |