PHP - преобразовать миллисекунды в часы: минуты: секунды. ⇐ Php

[Anonymous]

У меня есть сценарий, который получает значение за считанные секунды (до 2 десятичных точек дробных секунд): < /p>

$seconds_input = 23.75
< /code>

Я затем преобразовываю его в Milliseconds: < /p>

$milliseconds = $seconds_input * 1000; // --> 23750
< /code>

А потом я хочу отформатировать это так: < /p>

H:M:S.x // --> 0:0:23.75
< /code>

, где 'x' - часть второго (как много мест после десятичного значения). < /p>

Есть помощь? Кажется, я не могу обдумывать это. Я попытался использовать gmdate (), но он отрывался от дробных секунд.>

Подробнее здесь: https://stackoverflow.com/questions/476 ... fractional