case-insensitive highlighting for usernames in chat
Merge pull request #1802 from snicker/develop

case-insensitive highlighting for usernames in chat