claroline/CoreBundle — pull request #17 by ptsavdar (2013-09-18 08:28:25+00:00)
Title: Modification of the EventManager and the Log to work with PHP 5.3

We have re-applied Maxime's corrections on EventManager for the new project