1 files changed, 40 insertions, 0 deletions
diff --git a/vendor/phpunit/php-timer/src/Timer.php b/vendor/phpunit/php-timer/src/Timer.php
new file mode 100644
index 000000000..0917109be
--- /dev/null
+++ b/vendor/phpunit/php-timer/src/Timer.php
@@ -0,0 +1,40 @@
+<?php declare(strict_types=1);
+/*
+ * This file is part of phpunit/php-timer.
+ *
+ * (c) Sebastian Bergmann <[email protected]>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+namespace SebastianBergmann\Timer;
+
+use function array_pop;
+use function hrtime;
+
+final class Timer
+{
+    /**
+     * @psalm-var list<float>
+     */
+    private $startTimes = [];
+
+    public function start(): void
+    {
+        $this->startTimes[] = (float) hrtime(true);
+    }
+
+    /**
+     * @throws NoActiveTimerException
+     */
+    public function stop(): Duration
+    {
+        if (empty($this->startTimes)) {
+            throw new NoActiveTimerException(
+                'Timer::start() has to be called before Timer::stop()'
+            );
+        }
+
+        return Duration::fromNanoseconds((float) hrtime(true) - array_pop($this->startTimes));
+    }
+}