Yarden Shoham 63ebb53fd5
Add link to user profile in markdown mention only if user exists (#21533)
Previously mentioning a user would link to its profile, regardless of
whether the user existed. This change tests if the user exists and only
if it does - a link to its profile is added.

* Fixes #3444

Signed-off-by: Yarden Shoham <hrsi88@gmail.com>
Co-authored-by: wxiaoguang <wxiaoguang@gmail.com>
Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>
2022-10-23 01:15:52 +08:00
..
2022-05-06 10:12:30 +01:00
2022-08-30 21:15:45 -05:00
2022-10-12 13:18:26 +08:00
2022-10-12 13:18:26 +08:00
2022-08-30 21:15:45 -05:00
2022-08-30 21:15:45 -05:00
2022-08-21 19:20:43 +01:00
2020-10-02 23:37:53 -04:00
2022-01-19 19:31:39 -05:00
2022-08-30 21:15:45 -05:00
2022-10-12 13:18:26 +08:00
2022-10-12 13:18:26 +08:00
2022-01-20 18:46:10 +01:00
2022-06-25 19:06:01 +02:00
2022-08-21 19:20:43 +01:00
2022-10-12 13:18:26 +08:00
2021-12-20 04:41:31 +00:00
2022-08-11 17:48:23 +02:00