php - PHP - 間隔の時間間隔を取得する

Question

DateTime クラスを使用して間隔を計算しようとしています。

$_SERVER['REQUEST_TIME'] からの UNIX タイムスタンプと、データベースから取得した時刻を使用して、DateInterval の間隔を取得します。その部分は機能します。

その間隔は、たとえば、プロセスが開始されてから 5 分 10 秒などです。

このプロセスが完了するまでの予想時間は 10 分です。残りの予想時間は 4 分 50 秒であることをユーザーに通知したいと思います。

$running_time; // calculated before, type DateInterval. Echoing the formatted value shows correct time
// (only problem is no leading 0's for single-digit minutes/seconds in format: '%i:%s')
$total = new DateTime('10:00'); // ten minutes, 0 seconds expected total running time
$time_left = $total->diff(new DateTime($running_time->format('%i:%s'))); // fatal error

奇妙なことに、フォーマット機能が期待どおりに機能しないことを除いて、これはうまくいくと思います。分と秒が 1 桁の場合、先行ゼロはありません。

ヒントはありますか？