claroline/CoreBundle — pull request #548 by ngodfraind (2014-04-22 13:39:34+00:00)
Title: Bugfix

Replacing claroline.cache.php by claroline.cache.ini