improved PHPStan checks by adding some extensions

composer.json

@@ -28,7 +28,11 @@
 		"doctrine/data-fixtures": "^1.0.1",
 		"doctrine/dbal": "^2.7|^3",
 		"doctrine/doctrine-fixtures-bundle": "^2.4.1|^3.1",
+		"phpstan/extension-installer": "^1.1",
 		"phpstan/phpstan": "^1.4",
+		"phpstan/phpstan-deprecation-rules": "^1.0",
+		"phpstan/phpstan-strict-rules": "^1.1",
+		"phpstan/phpstan-symfony": "^1.1",
 		"phpunit/phpunit": "^9.5",
 		"symfony/browser-kit": "~4.4|~5.3|^6",
 		"symfony/phpunit-bridge": "^6",
@@ -56,6 +60,7 @@
 	},
 	"config": {
 		"allow-plugins": {
+			"phpstan/extension-installer": true,
 			"symfony/flex": true
 		},
 		"sort-packages": true

phpstan-config.neon

@@ -1,14 +1,12 @@
 parameters:
 	level: 5
+	treatPhpDocTypesAsCertain: false
 	paths:
 		- .
 	excludePaths:
 		- Tests/*
 		- vendor/*
 	ignoreErrors:
-		-
-			message: '#^Call to an undefined method Symfony\\Component\\Config\\Definition\\Builder\\NodeDefinition::children\(\)\.$#'
-			path: DependencyInjection/Configuration.php
 		-
 			message: '#^Parameter \$manager of method Craue\\GeoBundle\\Doctrine\\Fixtures\\GeonamesPostalCodeData::(getRepository|clearPostalCodesTable|addEntries)\(\) has invalid type Doctrine\\Common\\Persistence\\ObjectManager\.$#'
 			path: Doctrine/Fixtures/GeonamesPostalCodeData.php