Как я могу отображать микровремя в формате минут: секунд? ⇐ Php

[Anonymous]

Я показываю время выполнения кода в секундах, используя:
$time_start = microtime(true);

// Code here

$time_end = microtime(true);
$time = ($time_end - $time_start);
$time = number_format((float)$time, 3, '.', '');
echo "Process Time: {$time} sec";

Например, у меня есть:
9.809 sec

Я хочу отобразить выполнение как:
min : sec, с секундами, если минуты меньше 1, и минутами, если минуты больше 1.
У меня нет проблем с выполнением задания единиц измерения, но microtime() выдает время в миллисекундах. Как я могу получить предыдущий результат в следующем виде?
00:09 sec or 03:50 min

Решение:
Либо:
date('i:s', (int) $time);

или:
$minutes = floor($time / 60);
$seconds = $time % 60;

$minutes = str_pad($minutes, 2, '0', STR_PAD_LEFT);
$seconds = str_pad($seconds, 2, '0', STR_PAD_LEFT);

echo "Process Time: $minutes:$seconds";


Подробнее здесь: https://stackoverflow.com/questions/368 ... as-min-sec