Utils: Time utils, converting time to time strings, etc. about pyplanet

[tomvlk]

@TheMaximum You could maybe start making something separate from core for now that we can adapt into utils package.

[TheMaximum]

What about this @tomvlk:

import math

def formatTime(time):
    hours = math.floor((time / 1000 / 60 / 60))
    minutes = math.floor((time - (hours * 60 * 60 * 1000)) / 1000 / 60)
    seconds = math.floor((time - (hours * 60 * 60 * 1000) - (minutes * 60 * 1000)) / 1000)
    millis = (time - (hours * 60 * 60 * 1000) - (minutes * 60 * 1000) - (seconds * 1000))

    formattedTime = ""
    if hours > 0:
        formattedTime += '{i:02d}'.format(i=hours) + ":" + '{i:02d}'.format(i=minutes) + ":"
    else:
        formattedTime += str(minutes) + ":"

    formattedTime += '{i:02d}'.format(i=seconds) + "." + '{i:03d}'.format(i=millis)

    return formattedTime

testValues = [8932, 14004, 20135, 65195, 605195, 6005195]
for testValue in testValues:
    print(testValue, "=", formatTime(testValue))

Result:

14004 = 0:14.004
20135 = 0:20.135
65195 = 1:05.195
605195 = 10:05.195
6005195 = 01:40:05.195

[tomvlk]

Perfect! It's changed to match code styles, and commit is online.