| 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>
|
|
|