Version 3.1.4 - 2020-04-20

Changed

• Timer::timeSinceStartOfRequest() no longer tries $_SERVER['REQUEST_TIME'] when $_SERVER['REQUEST_TIME_FLOAT'] is not available ($_SERVER['REQUEST_TIME_FLOAT'] was added in PHP 5.4 and this library requires PHP 7.3)
• Improved exception messages when $_SERVER['REQUEST_TIME_FLOAT'] is not set or is not of type float

Version 3.1.3 - 2020-04-20

Changed

• Timer::timeSinceStartOfRequest() now raises an exception if $_SERVER['REQUEST_TIME_FLOAT'] does not contain a float (or $_SERVER['REQUEST_TIME'] does not contain an int)

Version 3.1.2 - 2020-04-17

Changed

• Improved the fix for #30 and restored usage of hrtime()

Version 3.1.1 - 2020-04-17

Fixed

• #30: Resolution of time returned by Timer::stop() is different than before (this reverts using hrtime() instead of microtime())

Version 3.1.0 - 2020-04-17

Added

• Timer::secondsToShortTimeString() as alternative to Timer::secondsToTimeString()

Changed

• Timer::start() and Timer::stop() now use hrtime() (high resolution monotonic timer) instead of microtime()
• Timer::timeSinceStartOfRequest() now uses Timer::secondsToShortTimeString() for time formatting
• Improved formatting of Timer::secondsToTimeString() result