php中如何将时间以毫秒为单位转换

Question

我有一个字幕文件，其中有 start_time 和 end_time ，其格式如下00:38:42,689但我不希望这样，我有以毫秒为单位的字幕功能，所以我想在 php 中以毫秒为单位转换它。

我怎样才能完成它。谢谢

Answer 1

$string = "00:38:42,689";
$time   = explode(":", $string);

$hour   = $time[0] * 60 * 60 * 1000;
$minute = $time[1] * 60 * 1000;

$second = explode(",", $time[2]);
$sec    = $second[0] * 1000;
$milisec= $second[1];

$result = $hour + $minute + $sec + $milisec;

echo $result;