Bugfix

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