# HG changeset patch # User Matthew Wild # Date 1590075286 -3600 # Node ID 787fc3030087c654a3ea980b13ed4133f3e38ae7 # Parent b2a6e163a6b49f2e2355050f939ee23e1caf2f5b mod_muc_markers: luacheck annotation diff -r b2a6e163a6b4 -r 787fc3030087 mod_muc_markers/mod_muc_markers.lua --- 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);