Add hrtime() function

Author: IonBazan

Php73.php

@@ -0,0 +1,34 @@
+<?php
+
+namespace Symfony\Polyfill\Php73;
+
+/**
+ * @author Gabriel Caruso <[email protected]>
+ * @author Ion Bazan <[email protected]>
+ *
+ * @internal
+ */
+final class Php73
+{
+    public static $startAt = 1533462603;
+
+    /**
+     * @param bool $asNum
+     *
+     * @return array|float|int
+     */
+    public static function hrtime($asNum = false)
+    {
+        $ns = \microtime(false);
+        $s = \strstr($ns, ' ') - self::$startAt;
+        $ns = 1E9 * (float) $ns;
+
+        if ($asNum) {
+            $ns += $s * 1E9;
+
+            return \PHP_INT_SIZE === 4 ? $ns : (int) $ns;
+        }
+
+        return array($s, (int) $ns);
+    }
+}

bootstrap.php

@@ -9,8 +9,15 @@
  * file that was distributed with this source code.
  */
 
+use Symfony\Polyfill\Php73 as p;
+
 if (PHP_VERSION_ID < 70300) {
     if (!function_exists('is_countable')) {
         function is_countable($var) { return is_array($var) || $var instanceof Countable || $var instanceof ResourceBundle || $var instanceof SimpleXmlElement; }
     }
+
+    if (!function_exists('hrtime')) {
+        p\Php73::$startAt = (int) microtime(true);
+        function hrtime($asNum = false) { return p\Php73::hrtime($asNum); }
+    }
 }