Changeset

12664:05d5f25a3c61

core.usermanager: Add scoped luacheck ignore rule to reduce clutter
author Kim Alvefur <zash@zash.se>
date Thu, 18 Aug 2022 14:07:54 +0200 (2022-08-18)
parents 12663:cf88f6b03942
children 12665:314bad8907fd
files core/usermanager.lua
diffstat 1 files changed, 12 insertions(+), 11 deletions(-) [+]
line wrap: on
line diff
--- a/core/usermanager.lua	Thu Aug 18 10:37:59 2022 +0100
+++ b/core/usermanager.lua	Thu Aug 18 14:07:54 2022 +0200
@@ -35,21 +35,22 @@
 end
 
 local fallback_authz_provider = {
-	get_user_roles = function (user) end; --luacheck: ignore 212/user
-	get_jids_with_role = function (role) end; --luacheck: ignore 212
+	-- luacheck: ignore 212
+	get_user_roles = function (user) end;
+	get_jids_with_role = function (role) end;
 
-	get_user_role = function (user) end; -- luacheck: ignore 212
-	set_user_role = function (user, roles) end; -- luacheck: ignore 212
+	get_user_role = function (user) end;
+	set_user_role = function (user, roles) end;
 
-	add_user_secondary_role = function (user, host, role_name) end; --luacheck: ignore 212
-	remove_user_secondary_role = function (user, host, role_name) end; --luacheck: ignore 212
+	add_user_secondary_role = function (user, host, role_name) end;
+	remove_user_secondary_role = function (user, host, role_name) end;
 
-	get_jid_role = function (jid) end; -- luacheck: ignore 212
-	set_jid_role = function (jid, role) end; -- luacheck: ignore 212
+	get_jid_role = function (jid) end;
+	set_jid_role = function (jid, role) end;
 
-	get_users_with_role = function (role_name) end; -- luacheck: ignore 212
-	add_default_permission = function (role_name, action, policy) end; -- luacheck: ignore 212
-	get_role_by_name = function (role_name) end; -- luacheck: ignore 212
+	get_users_with_role = function (role_name) end;
+	add_default_permission = function (role_name, action, policy) end;
+	get_role_by_name = function (role_name) end;
 };
 
 local provider_mt = { __index = new_null_provider() };