ui/file_manager/externs/audio_player_foreground.js

   1 // Copyright 2015 The Chromium Authors. All rights reserved.
   2 // Use of this source code is governed by a BSD-style license that can be
   3 // found in the LICENSE file.
   4
   5 /**
   6  * This definition is required by
   7  * ui/file_manager/file_manager/common/js/util.js.
   8  * @type {string}
   9  */
  10 Window.prototype.appID;
  11
  12 /**
  13  * @typedef {?{
  14  *   position: (number|undefined),
  15  *   time: (number|undefined),
  16  *   expanded: (boolean|undefined),
  17  *   items: (!Array<string>|undefined)
  18  * }}
  19  */
  20 var Playlist;
  21
  22 /**
  23  * @type {(Playlist|Object|undefined)}
  24  */
  25 Window.prototype.appState;
  26
  27 /**
  28  * @type {(boolean|undefined)}
  29  */
  30 Window.prototype.appReopen;