PHP — 将毫秒转换为小时：分钟：秒.小数
我有一个脚本，接收一个以秒为单位的值（保留两位小数的秒数）：
$seconds_input = 23.75
然后我将其转换为毫秒：
$milliseconds = $seconds_input * 1000; // --> 23750
然后我想按如下格式进行格式化：
H:M:S.x // --> 0:0:23.75
其中 'x' 是秒的小数部分（小数点后的位数）。
有谁能帮忙吗？我似乎无法理解这个问题。我尝试使用 gmdate()，但它会截断小数秒。
谢谢。
