Я измерял некоторые завитки, и я использовал microtime(true)
. Пример вывода будет 3.1745569706
Это 3.1745569706
секунды. Я хочу преобразовать это в несколько более читаемый формат, допустим 00:00:03:17455
(ЧАСЫ: МИНУТЫ: СЕКУНДЫ: МИЛЛИЗИКИ)
$maxWaitTime = '3.1745569706';
echo gmdate("H:i:s.u", $maxWaitTime);
// which returns
00:00:01.000000
echo date("H:i:s.u" , $maxWaitTime)
// which returns
18:00:01.000000
Это выглядит неправильно. Я не совсем уверен, что мне здесь не хватает.
Как преобразовать microtime() в HH: MM: SS: UU?