From 4c7a03c4cbdf39159f09ead01a12def8e93eee50 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Tue, 27 Sep 2022 12:27:27 +0200
Subject: [PATCH] Revert "Don't listen for window resolution changes in old
 browsers (PR 15319 follow-up)"

---
 web/app.js | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/web/app.js b/web/app.js
index 87d4b81e4..ce7d4f304 100644
--- a/web/app.js
+++ b/web/app.js
@@ -1979,13 +1979,6 @@ const PDFViewerApplication = {
       const mediaQueryList = window.matchMedia(
         `(resolution: ${window.devicePixelRatio || 1}dppx)`
       );
-      if (
-        typeof PDFJSDev !== "undefined" &&
-        PDFJSDev.test("GENERIC && !SKIP_BABEL") &&
-        typeof mediaQueryList.addEventListener !== "function"
-      ) {
-        return; // Not supported in Safari<14.
-      }
       mediaQueryList.addEventListener("change", addWindowResolutionChange, {
         once: true,
       });