| 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 f81cc5e1eadf97707dcd0afce17d154b85751649..68dad6d16c59ca1838bebe3eeb103df161c5bb0d 100644
|
| --- a/ui/file_manager/video_player/js/video_player_scripts.js
|
| +++ b/ui/file_manager/video_player/js/video_player_scripts.js
|
| @@ -10,6 +10,9 @@
|
|
|
| //<include src="error_util.js">
|
|
|
| +//<include src="../../file_manager/foreground/js/metrics_base.js">
|
| +//<include src="video_player_metrics.js">
|
| +
|
| //<include src="../../../webui/resources/js/cr.js">
|
| //<include src="../../../webui/resources/js/load_time_data.js">
|
|
|
|
|