我需要用PHP创建此代码,但我不了解python,也不知道此代码的作用。
import argparse
import codecs
import math
import os
import re
def leading_zeros(value, digits=2):
value = "000000" + str(value)
return value[-digits:]
def convert_time(raw_time):
if int(raw_time) == 0:
return "{}:{}:{},{}".format(0, 0, 0, 0)
ms = '000'
if len(raw_time) > 4:
ms = leading_zeros(int(raw_time[:-4]) % 1000, 3)
time_in_seconds = int(raw_time[:-7]) if len(raw_time) > 7 else 0
second = leading_zeros(time_in_seconds % 60)
minute = leading_zeros(int(math.floor(time_in_seconds / 60)) % 60)
hour = leading_zeros(int(math.floor(time_in_seconds / 3600)))
return "{}:{}:{},{}".format(hour, minute, second, ms)
例如,它将926759167转换为00:01:32,675,但我不知道如何。
答案 0 :(得分:-1)
它将时间码00:00:00,000以来的微秒数转换为小时:分钟:秒,毫秒。毫秒被截断而不是四舍五入。