src/Db/MySQL/AbstractMySQL.php
protected function getMicrotime(): float
    {
        list ($uSec, $sec) = \explode(' ', \microtime());
        return ((float)$uSec + (float)$sec);
    }
protected function getMicrotime(): float
    {
        list ($uSec, $sec) = \explode(' ', \microtime());
        return ((float)$uSec + (float)$sec);
    }
protected function getMicrotime ( ) : float { list ( $ uSec , $ sec ) = \ explode ( ' ' , \ microtime ( ) ) ; return ( ( float ) $ uSec + ( float ) $ sec ) ; }
Returns current server time in milliseconds.

@return float
Returns current server time in milliseconds .