| Index: ui/file_manager/video_player/js/video_player_scripts.js
|
| diff --git a/ui/file_manager/video_player/js/video_player_scripts.js b/ui/file_manager/video_player/js/video_player_scripts.js
|
| index 7e9519030c8380eeeaa8357efda4c7b3e9ff8281..13da82548a27cbe89714c50b476fedd83afc64f5 100644
|
| --- a/ui/file_manager/video_player/js/video_player_scripts.js
|
| +++ b/ui/file_manager/video_player/js/video_player_scripts.js
|
| @@ -29,14 +29,15 @@
|
|
|
| //<include src="../../file_manager/common/js/async_util.js"/>
|
| //<include src="../../file_manager/common/js/util.js"/>
|
| -//<include src="../../file_manager/foreground/js/media/media_controls.js"/>
|
| -//<include src="../../file_manager/foreground/js/media/mouse_inactivity_watcher.js"/>
|
| +//<include src="../../file_manager/foreground/js/mouse_inactivity_watcher.js"/>
|
|
|
| //<include src="cast/cast_extension_discoverer.js"/>
|
| //<include src="cast/cast_video_element.js"/>
|
| //<include src="cast/media_manager.js"/>
|
| //<include src="cast/caster.js"/>
|
|
|
| +//<include src="media_controls.js"/>
|
| +
|
| //<include src="video_player.js"/>
|
|
|
| window.unload = unload;
|
|
|