--- a/mod_muc_markers/mod_muc_markers.lua	Wed May 20 17:24:57 2020 +0200
+++ b/mod_muc_markers/mod_muc_markers.lua	Thu May 21 16:34:46 2020 +0100
@@ -87,6 +87,7 @@
 end
 
 -- Public API
+--luacheck: ignore 131
 
 function get_user_read_marker(user_jid, room_jid)
 	return muc_marker_map_store:get(user_jid, room_jid);