Как сделать разницу во времени между двумя датами?

Question

Я хочу вернуть разницу между двумя объектами datetime.

Я пробовал это, но не работает.В чем дело?

<?php //php 7.0.8

    $a='2018-12-05 09:00:00';
    $b='2018-12-05 15:00:00';

    $time1 = new DateTime($a);
    $time2 = new DateTime($b);

    $interval = $time1->diff($time2);
    echo $interval->format('H:i');
?>

Answer 1

Каждый символ формата должен начинаться со знака процента (%).

echo $interval->format('%H:%i');