# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1660824474 -7200
# Node ID 05d5f25a3c61fa97b3f7d1738b570e1a7aa10b47
# Parent  cf88f6b039424f2347f996d198445abe92d470f5
core.usermanager: Add scoped luacheck ignore rule to reduce clutter

diff -r cf88f6b03942 -r 05d5f25a3c61 core/usermanager.lua
--- 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() };