Disable view source for Developer Tools.
[chromium-blink-merge.git] / chrome / browser / resources / file_manager / mediaplayer.html
blob80e2730d09ec39cb579895229dfbdfd52068aa05
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 <!DOCTYPE HTML>
7 <html>
8 <head>
9 <!-- We have to set some default title, or chrome will use the page name.
10 -- As soon as the i18n'd strings are loaded we replace it with the correct
11 -- string. Until then, use an invisible non-whitespace character.
12 -->
13 <title>&#xFEFF;</title>
14 <link rel="icon" type="image/png" href="foreground/images/media/audio_player.png">
15 <link rel="stylesheet" type="text/css" href="foreground/css/media_controls.css">
16 <link rel="stylesheet" type="text/css" href="foreground/css/audio_player.css">
18 <!-- Don't load mediaplayer_scripts.js when flattening is disabled -->
19 <if expr="0"><!-- </if>
20 <script src="foreground/js/media/mediaplayer_scripts.js"></script>
21 <if expr="0"> --></if>
23 <if expr="0">
24 <!-- This section is used when the file manager is loaded with
25 'filemgr-ext-path' command-line flag. -->
26 <!-- Keep the list in sync with mediaplayer_scripts.js. -->
27 <script src="chrome://resources/js/cr.js"></script>
28 <script src="chrome://resources/js/cr/event_target.js"></script>
29 <script src="chrome://resources/js/cr/ui/array_data_model.js"></script>
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>
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>
39 <script src="foreground/js/media/media_controls.js"></script>
40 <script src="foreground/js/media/audio_player.js"></script>
41 <script src="foreground/js/media/player_testapi.js"></script>
42 </if>
43 </head>
44 <body>
45 <div class="audio-player"></div>
46 </body>
47 </html>