Thread:AgentMuffin/@comment-26179601-20181019190431/@comment-25653892-20181019211926

That's handled in MediaWiki:Common.js under.

The  block defines all tags and their text. The  block applies those tags to usernames.