From eb3a1f24a3546ffa0642239263bd31775c131c8e Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Sun, 12 Nov 2017 17:32:36 +0100
Subject: [PATCH] Remove the `PDFJS.disableHistory` code from
 `src/shared/compatibility.js`

This compatibility code is only relevant for browsers that will no longer be supported (with PDF.js version 2.0), hence we ought to be able to remove it.
---
 src/shared/compatibility.js | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/src/shared/compatibility.js b/src/shared/compatibility.js
index 6e3f191e8..117d68345 100644
--- a/src/shared/compatibility.js
+++ b/src/shared/compatibility.js
@@ -488,20 +488,6 @@ PDFJS.compatibilityChecked = true;
   }
 })();
 
-// Check if the browser supports manipulation of the history.
-// Support: IE<10, Android<4.2
-(function checkHistoryManipulation() {
-  if (!hasDOM) {
-    return;
-  }
-  // Android 2.x has so buggy pushState support that it was removed in
-  // Android 3.0 and restored as late as in Android 4.2.
-  // Support: Android 2.x
-  if (!history.pushState || isAndroidPre3) {
-    PDFJS.disableHistory = true;
-  }
-})();
-
 // Support: IE<11, Chrome<21, Android<4.4, Safari<6
 (function checkSetPresenceInImageData() {
   if (!hasDOM) {