Applied patch of Symfony 1.4 also to 1.1, to make PHP 5.4 compatible