Add new widget for displaying badge informations on a wokrspace
Workspace badge widget configurable
Add config for badge usage widget
Last awarded badge list is now dynamic
Sort badges by issued date desc
Remove join to bagde translation table to make the limit work
Fill the badge usage widget config form with data
Add missing translation
Display most awarded badges
Add missing translation + add new field in form
Merge branch 'master' into badge-workspace-widget

Conflicts:
	Manager/BadgeManager.php
	Resources/translations/badge.en.yml
	Resources/translations/badge.fr.yml
Add notification when user get a badge awarded
PhpDoc
Merge branch 'master' into badge-workspace-widget

Conflicts:
	Repository/Badge/UserBadgeRepository.php
	Resources/translations/badge.en.yml
	Resources/translations/badge.fr.yml
Merge branch 'master' into badge-workspace-widget

Conflicts:
	Resources/translations/badge.en.yml
	Resources/translations/badge.fr.yml
Adjust additionnal installer version
Merge pull request #809 from maxailloud/badge-workspace-widget

Add new widget for displaying informations about badge usage on a workspace
Allowing the creation of platform log by hand
CS fix
Merge branch 'platform-log-creation' into notification-on-badge-awarding