Add notification when user get a badge awarded
PhpDoc
Allowing the creation of platform log by hand
CS fix
Merge branch 'platform-log-creation' into notification-on-badge-awarding
Making badge awarding log written by platform if needed
Merge pull request #837 from maxailloud/platform-log-creation

Platform log creation
Merge pull request #838 from maxailloud/notification-on-badge-awarding

Notification on badge awarding