alexis.attimont

I’ve met the same bug, and this is why : my apc cache needed to be flush, so I just restarted apache. Hope it could help some of you !