PHP_SYMFONY_TOOLS