PHP差异函数不会使用前导零格式化小时和秒

Question

我拥有的：

两次，我使用diff()计算其差异：

$datetime1 = new DateTime('03:15:57');
$datetime2 = new DateTime('02:14:51');
$interval = $datetime1->diff($datetime2);
echo $interval->format('%H:%i:%s');
//Output: 01:1:6

我需要什么：

我需要小时，分钟和秒钟都有一个前导零。

我尝试了什么：

我把“我”和“s”大写：

$datetime1 = new DateTime('03:15:57');
$datetime2 = new DateTime('02:14:51');
$interval = $datetime1->diff($datetime2);
echo $interval->format('%H:%I:%S');
//Output: 01:01:06

我的问题：

为什么H：i：输出前导零？

为什么我的解决方案有效？ According to the PHP manual，“S”表示......

  

当月的英文序数后缀，2个字符。

...而且“I”未定义。