--- a/core/usermanager.lua Thu Aug 11 16:56:59 2022 +0100
+++ b/core/usermanager.lua Fri Aug 12 11:58:25 2022 +0100
@@ -55,7 +55,7 @@
get_jid_role = function (jid) end; -- luacheck: ignore 212
set_jid_role = function (jid) end; -- luacheck: ignore 212
add_default_permission = function (role_name, action, policy) end; -- luacheck: ignore 212
- get_role_info = function (role_name) end; -- luacheck: ignore 212
+ get_role_by_name = function (role_name) end; -- luacheck: ignore 212
};
local provider_mt = { __index = new_null_provider() };