util.string.format_time
Shared
Formats milliseconds into HH:MM:SS time format
Syntax
local result = util.string.format_time(
milliseconds
)Parameters
| Type | Name | Description |
|---|---|---|
int | milliseconds | Time in milliseconds |
Returns
| Type | Name | Description |
|---|---|---|
string | result | Formatted string in HH:MM:SS format |
Examples
local time = util.string.format_time(3600000)
core.engine.print("info", time) -- '01:00:00'local time = util.string.format_time(90000)
core.engine.print("info", time) -- '00:01:30'local time = util.string.format_time(30000)
core.engine.print("info", time) -- '00:00:30'