php-symfony: 2.3.9 (backport)