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
Adds option to activate self-registration with validation
Fixes tab bug in workspace users list
Merge branch 'master' of https://github.com/claroline/CoreBundle