PHPStan: use higher PHP version because some dependencies need it

orisai · Oct 19, 2023 · 7e793df · 7e793df
1 parent 83c61ba
commit 7e793df
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/src/Mapping/DefaultPresenterFactory.php b/src/Mapping/DefaultPresenterFactory.php
@@ -10,7 +10,6 @@
 use function array_pop;
 use function array_search;
 use function array_unshift;
-use function assert;
 use function class_exists;
 use function count;
 use function explode;
@@ -139,7 +138,6 @@ public function getPresenterClass(string &$name): string
 	{
 		if (str_starts_with($name, ':')) {
 			$name = substr($name, 1);
-			assert($name !== false);
 		}
 
 		if (isset($this->presenterClassCache[$name])) {

diff --git a/tools/phpstan.neon b/tools/phpstan.neon
@@ -3,7 +3,7 @@ includes:
 	- phpstan.baseline.neon
 
 parameters:
-	phpVersion: 70400
+	phpVersion: 80000
 	level: 8
 	tmpDir: ../var/tools/PHPStan
 	resultCachePath: %currentWorkingDirectory%/var/tools/PHPStan/resultCache.php