从时间格式修剪前零

Question

是否存在转换时间戳的功能，例如

00:42:00 to 42:00 
or 
01:25:51 to 1:25:51 
or 
00:03:40 to 3:40 
or
00:00:08 to 8

等等？

Answer 1

只需使用ltrim，并在字符掩码中指定0和:.即：

ltrim($time, '0:');