File

teal-src/util/datetime.d.tl @ 12654:f3dbbc7655e6

usermanager: Handle local JIDs being passed to get/set_jid_role() There is no reasonable fallback for set_jid_role() because users may have multiple roles, so that's an error.
author Matthew Wild <mwild1@gmail.com>
date Mon, 01 Aug 2022 20:26:00 +0100
parent 12634:8cb6644ce463
line wrap: on
line source

local record lib
	date     : function (t : number) : string
	datetime : function (t : number) : string
	time     : function (t : number) : string
	legacy   : function (t : number) : string
	parse    : function (t : string) : number
end

return lib