我们有很多字符串来存储参与者完成曲目所花费的时间。这些字符串基本上有2种不同的类型(<1 hour和> 1hour):
54:37
01:12:20
在显示之前用PHP格式化这些字符串的最合理方法是什么,以使它们保持相同的标准- hh:mm:ss
(第一个字符串必须为00:54:37
)?
非常感谢您的帮助或帮助。
简单的方法是
$time = str_pad($time,8,'00:',STR_PAD_LEFT)
它的作用:用00填充字符串:从左到全长8
或者 $time = strlen($time)==8?$time:"00:$time"
它的作用:检查字符串是否为8个字符,然后不执行其他任何操作加00:
如果确实只给出了两种不同的类型,这就是解决方案。
这将无法工作: print date('H:i:s',strtotime('54:37'))
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句