diff options
-rwxr-xr-x | tools/reproduceriter.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/reproduceriter.py b/tools/reproduceriter.py index 3402192c..e61df744 100755 --- a/tools/reproduceriter.py +++ b/tools/reproduceriter.py @@ -155,16 +155,16 @@ var Recorder = (function() { }; // Date.now, performance.now recorder.dnows = []; - var dnow = Date.now; + recorder.dnow = Date.now; Date.now = function() { - var ret = dnow(); + var ret = recorder.dnow(); recorder.dnows.push(ret); return ret; }; recorder.pnows = []; - var pnow = performance.now; + recorder.pnow = performance.now; performance.now = function() { - var ret = pnow(); + var ret = recorder.pnow(); recorder.pnows.push(ret); return ret; }; |