Video Player: Add a cast menu

ui/file_manager/video_player/css/header.css

Index: ui/file_manager/video_player/css/header.css
diff --git a/ui/file_manager/video_player/css/header.css b/ui/file_manager/video_player/css/header.css
index a0a9278bcbf2f3b1206050cd6f4d33ad74b4c39f..5a5b738717632e4bfeef2b11c831d9b0f3096292 100644
--- a/ui/file_manager/video_player/css/header.css
+++ b/ui/file_manager/video_player/css/header.css
@@ -69,6 +69,16 @@
   width: 32px;
 }
 
+#video-player > .header > button.cast-button {
+  background-image: -webkit-image-set(
+      url(../images/100/cast_off.png) 1x,
+      url(../images/200/cast_off.png) 2x);
+}
+
+#video-player > .header > button.cast-button.hidden {
+  display: none;
+}
+
 #video-player > .header > button.minimize-button {
   background-image: -webkit-image-set(
       url(chrome://resources/images/apps/topbar_button_minimize.png) 1x,