datetimepicker creation
add datetime picker
Merge branch 'master' of https://github.com/claroline/CoreBundle into datetimepicker
Using ini file for custom cache.
Merge branch 'master' of github.com:claroline/CoreBundle into bugfix

Conflicts:
	Library/Installation/AdditionalInstaller.php
	Library/Installation/Updater/Updater021400.php
Merge pull request #547 from solispauwels/master

tinymce update
Personnal WS name : Add '-' to translation string to allow more flexibility for overriding translations
Merge pull request #550 from solispauwels/master

topbar accessibility update
getting updates form masterCore
Merge remote-tracking branch 'projet_original_master/master'
Synchronisation avec le projet original
Updating cache manager.
Editing getParamater.
Merge pull request #548 from ngodfraind/bugfix

Bugfix
Rename parameter for claro_public_profile_view route from userId to publicUrl
Merge pull request #552 from maxailloud/fix_param_profile_public_route_notification

Rename parameter for claro_public_profile_view route from userId to publicUrl
Fixing workspace user tool for jquery 2.x
Merge pull request #553 from ngodfraind/bugfix

Fixing workspace user tool for jquery 2.x
Fixing error on download empty zip.
.