Fix mentioning when username starts with number
requested to merge github/fork/duduribeiro/fix_mentioning_username_beginning_with_number into master
Created by: duduribeiro
Fix #8791 (closed) This problem occurs when the user try to mention a user that the username starts with number in issue comments.