File

teal-src/util/json.d.tl @ 12730:427dd01f0864

mod_authz_internal: Allow configuring role of local-server/parent-host users 'host_user_role' is the default role of users who have JIDs on the "parent" host (i.e. jabber.org users on conference.jabber.org). Defaults to 'prosody:user'. 'server_user_roles' is the default role of users who have JIDs on any active host on the current Prosody instance. Default to nil (no role). This finally allows better permissions splitting between host and server users, which has previously been done (e.g. in MUC) with options like 'restrict_room_creation' and 'muc_room_allow_persistent'. Using roles makes these permissions a lot more flexible, and easier for developers to integrate.
author Matthew Wild <mwild1@gmail.com>
date Thu, 29 Sep 2022 12:10:14 +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