Cleanup performance.now shimming

ARES-6/Air/util.js

@@ -168,12 +168,3 @@ function bubbleSort(array, lessThan)
         end--;
     }
 }
-
-let currentTime;
-if (this.performance && performance.now)
-    currentTime = function() { return performance.now() };
-else if (this.preciseTime)
-    currentTime = function() { return preciseTime() * 1000; };
-else
-    currentTime = function() { return +new Date(); };
-

JetStreamDriver.js

@@ -1472,7 +1472,6 @@ let BENCHMARKS = [
             "./ARES-6/Basic/parser.js",
             "./ARES-6/Basic/random.js",
             "./ARES-6/Basic/state.js",
-            "./ARES-6/Basic/util.js",
             "./ARES-6/Basic/benchmark.js",
         ],
         tags: ["Default", "ARES"],

RexBench/benchmark.js

@@ -24,14 +24,6 @@
  */
 "use strict";
 
-let currentTime;
-if (this.performance && performance.now)
-    currentTime = function() { return performance.now() };
-else if (this.preciseTime)
-    currentTime = function() { return preciseTime() * 1000; };
-else
-    currentTime = function() { return +new Date(); };
-
 class Benchmark {
     constructor(verbose = 0)
     {
@@ -43,9 +35,9 @@ class Benchmark {
         this.setup();
 
         for (let iteration = 0; iteration < numIterations; ++iteration) {
-            let before = currentTime();
+            let before = performance.now();
             this.runOnce();
-            let after = currentTime();
+            let after = performance.now();
             results.push(after - before);
         }
 

cdjs/benchmark.js

@@ -32,15 +32,15 @@ function benchmarkImpl(configuration) {
 
     var simulator = new Simulator(numAircraft);
     var detector = new CollisionDetector();
-    var lastTime = currentTime();
+    var lastTime = performance.now();
     var results = [];
     for (var i = 0; i < numFrames; ++i) {
         var time = i / 10;
 
         var collisions = detector.handleNewFrame(simulator.simulate(time));
 
         var before = lastTime;
-        var after = currentTime();
+        var after = performance.now();
         lastTime = after;
         var result = {
             time: after - before,

cdjs/util.js

@@ -73,10 +73,3 @@ function averageAbovePercentile(numbers, percentile) {
     return result;
 }
 
-var currentTime;
-if (this.performance && performance.now)
-    currentTime = function() { return performance.now() };
-else if (preciseTime)
-    currentTime = function() { return preciseTime() * 1000; };
-else
-    currentTime = function() { return 0 + new Date(); };