Home | History | Annotate | Download | only in file_manager
      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="css/media_controls.css">
     15   <link rel="stylesheet" type="text/css" href="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="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/load_time_data.js"></script>
     27 
     28     <script src="js/util.js"></script>
     29     <script src="js/file_type.js"></script>
     30     <script src="js/volume_manager.js"></script>
     31     <script src="js/metadata/metadata_cache.js"></script>
     32 
     33     <script src="js/media/media_controls.js"></script>
     34     <script src="js/media/util.js"></script>
     35     <script src="js/media/video_player.js"></script>
     36     <script src="js/media/player_testapi.js"></script>
     37   </if>
     38 </head>
     39 <body>
     40   <div id="video-player" tools>
     41     <div id="video-container">
     42     </div>
     43     <div id="controls-wrapper">
     44       <div id="controls" class="tool"></div>
     45     </div>
     46     <div id="error-wrapper">
     47       <div id="error"></div>
     48     </div>
     49   </div>
     50 </body>
     51 </html>
     52