From 4733f163e8160c60d9010e256af42acd1e6d5198 Mon Sep 17 00:00:00 2001
From: Jonas Jenwald <jonas.jenwald@gmail.com>
Date: Thu, 11 Feb 2021 23:00:42 +0100
Subject: [PATCH] Replace a few `new Date().getTime()` instances with
 `Date.now()`

The former format is not only more verbose, but it's also *slightly* less efficient since it creates a new `Date` object.
---
 test/unit/testreporter.js    | 2 +-
 web/pdf_presentation_mode.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/unit/testreporter.js b/test/unit/testreporter.js
index 4a7e26466..cd6930fd0 100644
--- a/test/unit/testreporter.js
+++ b/test/unit/testreporter.js
@@ -40,7 +40,7 @@ const TestReporter = function (browser) {
   }
 
   this.now = function () {
-    return new Date().getTime();
+    return Date.now();
   };
 
   this.jasmineStarted = function (suiteInfo) {
diff --git a/web/pdf_presentation_mode.js b/web/pdf_presentation_mode.js
index d1ee572f4..fd16f5a63 100644
--- a/web/pdf_presentation_mode.js
+++ b/web/pdf_presentation_mode.js
@@ -102,7 +102,7 @@ class PDFPresentationMode {
     evt.preventDefault();
 
     const delta = normalizeWheelEventDelta(evt);
-    const currentTime = new Date().getTime();
+    const currentTime = Date.now();
     const storedTime = this.mouseScrollTimeStamp;
 
     // If we've already switched page, avoid accidentally switching again.