| Index: ui/file_manager/externs/audio_player_foreground.js
|
| diff --git a/ui/file_manager/externs/audio_player_foreground.js b/ui/file_manager/externs/audio_player_foreground.js
|
| index 38419966c16b0e0a13020b3b907edbf400aabec2..6083f65d226f65b19414b442c39a213ec97722f9 100644
|
| --- a/ui/file_manager/externs/audio_player_foreground.js
|
| +++ b/ui/file_manager/externs/audio_player_foreground.js
|
| @@ -3,13 +3,6 @@
|
| // found in the LICENSE file.
|
|
|
| /**
|
| - * This definition is required by
|
| - * ui/file_manager/file_manager/common/js/util.js.
|
| - * @type {string}
|
| - */
|
| -Window.prototype.appID;
|
| -
|
| -/**
|
| * @typedef {?{
|
| * position: (number|undefined),
|
| * time: (number|undefined),
|
|
|