如何将毫秒数量格式化为分钟:秒:PHP中的毫秒数？

function formatMilliseconds($milliseconds) {
    $seconds = floor($milliseconds / 1000);
    $minutes = floor($seconds / 60);
    $seconds = $seconds % 60;
    $milliseconds = $milliseconds % 1000;
    return sprintf('%02d:%02d:%03d', $minutes, $seconds, $milliseconds);
}

$milliseconds = 123456;
$formattedTime = formatMilliseconds($milliseconds);
echo $formattedTime; // 输出 00:02:03