Bug report

the github error formatter should escape strings like @return in backticks, since the phpdoc tags are currently interpreted as user mentions.

refs discussion at refined-github/refined-github#6982

Code snippet that reproduces the problem

see repro in https://github.com/redaxo/redaxo/pull/5842/files (only visible with refined github browser extension)

Expected output

phpdoc tags should be quoted with backticks