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
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.
Removing empty file.
Merge pull request #554 from ngodfraind/bugfix

Fixing error on download empty zip.
Merge pull request #555 from ngodfraind/master

Removing empty file.
Minor correction to clean up code
Merge remote-tracking branch 'projet_original_master/master'
delete commented lines
Correct chrome html5 problems
add migration file
merge conflict