Fixes #574: case-insensitive @mention linkifying

Investigation of why `@tyre_inflator` didn't appear to ping
`@Tyre_Inflator` revealed that the alerts/notifications system is
correctly case-insensitive. However, the logic in `sanitize` that
converts `@mention`s into user profile links was case-sensitive.
We resolve that here the naive way by normalizing case while comparing.
This commit is contained in:
TLSM 2023-04-08 19:27:39 -04:00 committed by Ben Rog-Wilhelm
parent 171bc2d8de
commit 5939cbc482

View file

@ -230,8 +230,8 @@ def sanitize(sanitized, alert=False, comment=False, edit=False):
for u in users:
if not u: continue
m = [ m for m in matches if u.username == m.group(2) or u.original_username == m.group(2) ]
for i in m:
mention_is_u = lambda m: m.group(2).lower() in (u.username.lower(), u.original_username.lower())
for i in filter(mention_is_u, matches):
if not (g.v and g.v.any_block_exists(u)) or g.v.admin_level >= 2:
sanitized = sanitized.replace(i.group(0), f'''{i.group(1)}<a href="/id/{u.id}"><img loading="lazy" src="/pp/{u.id}">@{u.username}</a>''', 1)