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(); } 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;