Fix: Change parallel settings to defaults, remove buffer

'buffer' is not a documented parameter, removing it.
Removing some configuration settings as the defaults are higher and
should adapt better to the target machine

.github/workflows/phpstan.yml

@@ -57,8 +57,7 @@ jobs:
       - name: Run PHPStan
         id: phpstan
         run: |
-          php -i | grep max_execution_time
-          phpstan --debug -vvv analyse --error-format=checkstyle --memory-limit 7G -a build/phpstan/bootstrap_action.php -c phpstan.neon.dist | tee _stan.xml | cs2pr --graceful-warnings
+          phpstan -vvv analyse --error-format=checkstyle --memory-limit 7G -a build/phpstan/bootstrap_action.php | tee _stan.xml | cs2pr --graceful-warnings
         # continue-on-error: true
 
       # Save cache

phpstan.neon.dist

@@ -1,22 +1,23 @@
 parameters:
 	tmpDir: ./.github/tmp
 	parallel:
-		jobSize: 8
+		# Commented some of the settings: ci failed, disabling helped
+		# jobSize: 8  # default is 20
 		processTimeout: 600.0
-		maximumNumberOfProcesses: 20
+		# maximumNumberOfProcesses: 20  # default is 32
 		minimumNumberOfJobsPerProcess: 2
-		buffer: 134217728 # 128 MB
+		# buffer: 134217728 # 128 MB  # Not documented
 	customRulesetUsed: true
 	level: 2
 	fileExtensions:
 		- php
 	paths:
 		- htdocs
 		- scripts
-	# stubFiles:
+	stubFiles:
 		# - dev/tools/phan/stubs/GeoIP2.php
 		# - dev/tools/phan/stubs/geoip_inc.php
-		- dev/tools/phan/stubs/module_numberwords.php
+		# - dev/tools/phan/stubs/module_numberwords.php
 		- dev/tools/phan/stubs/restler.php
 		- dev/tools/phan/stubs/stripe.php
 		- dev/tools/phan/stubs/swiss-qr-bill.php