core/usermanager.lua
changeset 12024 a949f1aae171
parent 11902 89aa591bb895
child 12337 ed8a4f8dfd27
--- a/core/usermanager.lua	Mon Dec 06 22:33:46 2021 +0100
+++ b/core/usermanager.lua	Mon Dec 06 22:38:27 2021 +0100
@@ -54,6 +54,8 @@
 		if role ~= "prosody:admin" then return {}; end
 		return it.to_array(global_admins);
 	end;
+	set_user_roles = function (user, roles) end; -- luacheck: ignore 212
+	set_jid_roles = function (jid, roles) end; -- luacheck: ignore 212
 };
 
 local provider_mt = { __index = new_null_provider() };