Acho que seria interessante adicionar a extensão para notificar um utilizador com base no @user.
Algo como isto: https://www.phpbb.com/customise/db/exte ... _mentions/
Algo como isto: https://www.phpbb.com/customise/db/exte ... _mentions/