Подскажите пожалуйста код, как решить возникшую проблемку.
Нужно произвести вычитание времени до миллисекунд.
Например
ч м с сот
00:15:30.25 - 00:02:25.11 и чтобы результат выводился в таком же временном формате 00:13:05.14
Пробовал через регулярные выражения удалять : а потом производить вычитание и обратно ставить символ : не подходит такой вариант. Секунды получаются до 100 а надо до 60 и сотые теряю.
Мне кажется нужно вычитание производить в временном формате, но пока не знаю как.

$dt1 = new DateTime('00:15:30.25');
$dt2 = new DateTime('00:02:25.11');
$interval = $dt1->diff($dt2, true);
echo $interval->format('%H:%I:%S.'). substr($interval->f, 2);

Спасибо за объяснения и подсказку.

Уважаемый killer8080

В вашем коде не выводятся сотые.
выводится вот такой результат 00:13:05.
часы, минуты, секунды считаются, а сотые нет.

Версия PHP должна быть не ниже 7.1.0 для данного кода, либо вместо

$interval->f

используй

$interval->format('%F')

Обновил РНР до 8
Все отработало.
Супер.
Спасибо.