| changeset 12671 | 0278987b8687 |
| parent 12670 | 7869da467087 |
| child 12687 | 75f0c69eba71 |
--- a/core/usermanager.lua Thu Aug 18 15:38:18 2022 +0200 +++ b/core/usermanager.lua Thu Aug 18 15:42:07 2022 +0200 @@ -39,7 +39,7 @@ get_jids_with_role = function (role) end; get_user_role = function (user) end; - set_user_role = function (user, roles) end; + set_user_role = function (user, role_name) end; get_user_secondary_roles = function (user) end; add_user_secondary_role = function (user, host, role_name) end;