File

teal-src/util/json.d.tl @ 12648:f299e570a0fe

mod_authz_internal: Use util.roles, some API changes and config support This commit was too awkward to split (hg record didn't like it), so: - Switch to the new util.roles lib to provide a consistent representation of a role object. - Change API method from get_role_info() to get_role_by_name() (touches sessionmanager and usermanager) - Change get_roles() to get_user_roles(), take a username instead of a JID This is more consistent with all other usermanager API methods. - Support configuration of custom roles and permissions via the config file (to be documented).
author Matthew Wild <mwild1@gmail.com>
date Tue, 19 Jul 2022 18:02:02 +0100
parent 11460:a8b4e04bc044
line wrap: on
line source

local record lib
	encode : function (any) : string
	decode : function (string) : any, string

	enum json_type_name
		"null"
		"boolean"
		"object"
		"array"
		"number"
		"string"
		"integer"
	end

	type null_type = (nil)
	null : null_type
end
return lib