Make Chrome OS Audio Player survive page reload and OS restart.

chrome/browser/resources/file_manager/js/media/video_player.js

Index: chrome/browser/resources/file_manager/js/media/video_player.js
diff --git a/chrome/browser/resources/file_manager/js/media/video_player.js b/chrome/browser/resources/file_manager/js/media/video_player.js
index 4a3b242ea933852d090427f64bdfab74d23507f0..a27cbbd2c0060fc92cfe16f3fd4eb1e597bde6b8 100644
--- a/chrome/browser/resources/file_manager/js/media/video_player.js
+++ b/chrome/browser/resources/file_manager/js/media/video_player.js
@@ -51,33 +51,16 @@ FullWindowVideoControls.prototype = { __proto__: VideoControls.prototype };
  * the page reload.
  */
 FullWindowVideoControls.prototype.onPlayStateChanged = function() {
-  if (!this.getMedia().duration)
-    return;
-
-  var playState = (this.isPlaying() ? 'play' : 'pause') + '=' +
-      this.getMedia().currentTime.toFixed(2);
-
-  var newLocation = document.location.origin + document.location.pathname +
-      document.location.search + '#' + playState;
-
-  history.replaceState(undefined, playState, newLocation);
+  this.encodeStateIntoLocation();
 };
 
 /**
- * Resume the play state after the video is loaded.
+ * Restore the play state after the video is loaded.
  */
-FullWindowVideoControls.prototype.resumePosition = function() {
-  var video = this.getMedia();
-
-  var playState = document.location.hash.substring(1);
-  if (playState) {
-    var parts = playState.split('=');
-    video.currentTime = parseFloat(parts[1]);
-    if (parts[0] != 'pause')
-      video.play();
-  } else {
-    VideoControls.prototype.resumePosition.apply(this, arguments);
-    video.play();
+FullWindowVideoControls.prototype.restorePlayState = function() {
+  if (!this.decodeStateFromLocation()) {
+    VideoControls.prototype.restorePlayState.apply(this, arguments);
+    this.play();
   }
 };