Add notification when user get a badge awarded
PhpDoc
Merge branch 'platform-log-creation' into notification-on-badge-awarding
Making badge awarding log written by platform if needed
Merge pull request #838 from maxailloud/notification-on-badge-awarding

Notification on badge awarding