From fa885678df8b85f97c64b607804d939ea57f8f53 Mon Sep 17 00:00:00 2001
From: Yury Delendik <ydelendik@mozilla.com>
Date: Fri, 16 Aug 2013 09:09:32 -0500
Subject: [PATCH 1/2] Don't provide optional pushState parameter

---
 web/pdf_history.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/web/pdf_history.js b/web/pdf_history.js
index 51c5cd9bd..7607770e1 100644
--- a/web/pdf_history.js
+++ b/web/pdf_history.js
@@ -65,7 +65,7 @@ var PDFHistory = {
         // is opened in the web viewer.
         this.reInitialized = true;
       }
-      window.history.replaceState({ fingerprint: this.fingerprint }, '', '');
+      window.history.replaceState({ fingerprint: this.fingerprint }, '');
     }
 
     var self = this;
@@ -270,9 +270,9 @@ var PDFHistory = {
       }
     }
     if (overwrite || this.uid === 0) {
-      window.history.replaceState(this._stateObj(params), '', '');
+      window.history.replaceState(this._stateObj(params), '');
     } else {
-      window.history.pushState(this._stateObj(params), '', '');
+      window.history.pushState(this._stateObj(params), '');
     }
     this.currentUid = this.uid++;
     this.current = params;

From cb59b31927b0876fd4f098c0a1dd2d899cb8258a Mon Sep 17 00:00:00 2001
From: Yury Delendik <ydelendik@mozilla.com>
Date: Fri, 16 Aug 2013 09:19:42 -0500
Subject: [PATCH 2/2] IE9 does not need onreadystatechange

---
 src/shared/util.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/shared/util.js b/src/shared/util.js
index e471b8c73..f94491d88 100644
--- a/src/shared/util.js
+++ b/src/shared/util.js
@@ -489,7 +489,7 @@ var Util = PDFJS.Util = (function UtilClosure() {
     var loaded = false;
     script.setAttribute('src', src);
     if (callback) {
-      script.onreadystatechange = script.onload = function() {
+      script.onload = function() {
         if (!loaded) {
           callback();
         }