例如，我有这个格式的时间

eg. 

09:15 AM
04:25 PM
11:25 AM

如何转换为

09:15
16:25
23:25

目前我的代码是：

$format_time = str_replace(" AM", "", $time, $count);
if ($count === 0){
    $format_time = strstr($time, ' PM', true);
    $format_time = ......
}

但是，似乎有一些更简单和优雅的方式来做到这一点？

$time = '23:45'; 
echo date('g:i a', strtotime($time)); 

如何适应上述样本在我的情况？谢谢

echo date("G:i", strtotime($time));

echo date("H:i", strtotime("04:25 PM"));