Revert "Don't listen for window resolution changes in old browsers (P…

…R 15319 follow-up)"
mozilla · Sep 27, 2022 · 4c7a03c · 4c7a03c
1 parent 5675a6e
commit 4c7a03c
Showing 1 changed file with 0 additions and 7 deletions.
diff --git 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,
       });