Please use extension for adress users by prefix '@'

[Dan-cer]

With this topic - viewtopic.php?p=2225747#p2225747 - the author want to know about a feature that exist mostly in social media and also in some forums:

Directly adress any user without having to quote him by using prefix '@'.
In my case it would be '@Dan-cer'.

Within that topic is an information that the forum software used for this forum provides an extension just for this case.
You find it here: https://www.phpbb.com/customise/db/exte ... _mentions/

So this is my feature request to add that extension.
Thank you in advance!