.luacheckrc
changeset 13215 4d4f9e42bcf8
parent 13208 c9ef35fab0b1
child 13274 14bbfb2cc8dd
--- a/.luacheckrc	Sun Jul 16 21:21:37 2023 +0200
+++ b/.luacheckrc	Mon Jul 17 00:09:41 2023 +0200
@@ -75,6 +75,7 @@
 		"module.get_option_boolean",
 		"module.get_option_enum",
 		"module.get_option_inherited_set",
+		"module.get_option_integer",
 		"module.get_option_number",
 		"module.get_option_path",
 		"module.get_option_period",