Index: chrome/browser/resources/file_manager/video_player.html |
diff --git a/chrome/browser/resources/file_manager/video_player.html b/chrome/browser/resources/file_manager/video_player.html |
index a039aff6867cb5dab5c5ebf2414e7b2d056a48ef..812f2b4dec9825d709f5dc5f3a109e2dbba38ec6 100644 |
--- a/chrome/browser/resources/file_manager/video_player.html |
+++ b/chrome/browser/resources/file_manager/video_player.html |
@@ -23,6 +23,9 @@ |
<!-- This section is used when the file manager is loaded with |
'filemgr-ext-path' command-line flag. --> |
<!-- Keep the list in sync with video_player_scripts.js. --> |
+ <script src="chrome://resources/js/cr.js"></script> |
+ <script src="chrome://resources/js/cr/event_target.js"></script> |
+ <script src="chrome://resources/js/cr/ui/array_data_model.js"></script> |
<script src="chrome://resources/js/load_time_data.js"></script> |
<script src="js/async_util.js"></script> |