File

teal-src/util/time.d.tl @ 11745:3a2d58a39872

usermanager, mod_authz_internal: Add methods to fetch users/JIDs of given role
author Matthew Wild <mwild1@gmail.com>
date Thu, 26 Aug 2021 16:35:43 +0100
parent 11432:113f3912c7cb
line wrap: on
line source


local record lib
	now : function () : number
	monotonic : function () : number
end
return lib