Merge branch 'issue-282-widget-workspace-list'
Added missing use
Added log when updating widget
GUI update for workspace tag. Closes claroline/Claroline#294
Merge branch 'master' of https://github.com/claroline/CoreBundle
Gui update workspace list with self registration
Merge branch 'master' of https://github.com/claroline/CoreBundle into issue-299-workspace-unsubscribe-page

Conflicts:
	Library/Installation/AdditionalInstaller.php
Merge branch 'issue-294-workspace-list-gui' into issue-299-workspace-unsubscribe-page
GUI update in workspaces list
Refactored workspace self-registration page
agenda
close Claroline/claroline #295 add translation and changed time format
event display format
translation fixed
Added workspace unregistration page
Deleted JS for my workspace list
Merge branch 'master' of https://github.com/claroline/CoreBundle into issue-299-workspace-unsubscribe-page
Resources wich a user can access through a group can be seen at the root.
Fixing the whereRoleIn method.
Merge branch 'master' of https://github.com/claroline/CoreBundle into agenda

Conflicts:
	Resources/public/js/tool/calendar.js
	Resources/translations/agenda.en.yml