src/chrome/browser/resources/file_manager/video_player.html

   1 <!--
   2   -- Copyright (c) 2012 The Chromium Authors. All rights reserved.
   3   -- Use of this source code is governed by a BSD-style license that can be
   4   -- found in the LICENSE file.
   5   -->
   6 <html>
   7 <head>
   8   <!-- We have to set some default title, or chrome will use the page name.
   9     -- As soon as the i18n'd strings are loaded we replace it with the correct
  10     -- string. Until then, use an invisible non-whitespace character.
  11     -->
  12   <title>&#xFEFF;</title>
  13   <link rel="icon" type="image/png" href="chrome://theme/IDR_FILE_MANAGER_IMG_FILETYPE_VIDEO">
  14   <link rel="stylesheet" type="text/css" href="foreground/css/media_controls.css">
  15   <link rel="stylesheet" type="text/css" href="foreground/css/video_player.css">
  16
  17   <!-- Don't load video_player_scripts.js when flattening is disabled -->
  18   <if expr="0"><!-- </if>
  19     <script src="foreground/js/media/video_player_scripts.js"></script>
  20   <if expr="0"> --></if>
  21
  22   <if expr="0">
  23     <!-- This section is used when the file manager is loaded with
  24          'filemgr-ext-path' command-line flag. -->
  25     <!-- Keep the list in sync with video_player_scripts.js. -->
  26     <script src="chrome://resources/js/cr.js"></script>
  27     <script src="chrome://resources/js/cr/event_target.js"></script>
  28     <script src="chrome://resources/js/cr/ui/array_data_model.js"></script>
  29     <script src="chrome://resources/js/load_time_data.js"></script>
  30
  31     <script src="common/js/async_util.js"></script>
  32     <script src="common/js/util.js"></script>
  33     <script src="common/js/path_util.js"></script>
  34
  35     <script src="foreground/js/file_type.js"></script>
  36     <script src="foreground/js/volume_manager_wrapper.js"></script>
  37     <script src="foreground/js/metadata/metadata_cache.js"></script>
  38
  39     <script src="foreground/js/media/media_controls.js"></script>
  40     <script src="foreground/js/media/util.js"></script>
  41     <script src="foreground/js/media/video_player.js"></script>
  42     <script src="foreground/js/media/player_testapi.js"></script>
  43   </if>
  44 </head>
  45 <body>
  46   <div id="video-player" tools>
  47     <div id="video-container">
  48     </div>
  49     <div id="controls-wrapper">
  50       <div id="controls" class="tool"></div>
  51     </div>
  52     <div id="error-wrapper">
  53       <div id="error"></div>
  54     </div>
  55   </div>
  56 </body>
  57 </html>