Files app: Compile common/js/util.js

ui/file_manager/externs/video_player_foreground.js

Index: ui/file_manager/externs/video_player_foreground.js
diff --git a/ui/file_manager/externs/video_player_foreground.js b/ui/file_manager/externs/video_player_foreground.js
deleted file mode 100644
index 40ab0be55aba1a39987f1f483632d41e53b6dbc5..0000000000000000000000000000000000000000
--- a/ui/file_manager/externs/video_player_foreground.js
+++ /dev/null
@@ -1,10 +0,0 @@
-// Copyright 2014 The Chromium Authors. All rights reserved.
-// Use of this source code is governed by a BSD-style license that can be
-// found in the LICENSE file.
-
-/**
- * This definition is required by
- * ui/file_manager/file_manager/common/js/util.js.
- * @type {string}
- */
-Window.prototype.appID;