Result cache should not be invalidated by changes to editorUrl, edito…

…rUrlTitle and errorFormat parameters
phpstan · Dec 21, 2022 · 51774ef · 51774ef
1 parent db2de6f
commit 51774ef
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Analyser/ResultCache/ResultCacheManager.php b/src/Analyser/ResultCache/ResultCacheManager.php
@@ -734,6 +734,9 @@ private function getMeta(array $allAnalysedFiles, ?array $projectConfigArray): a
 		sort($extensions);
 
 		if ($projectConfigArray !== null) {
+			unset($projectConfigArray['parameters']['editorUrl']);
+			unset($projectConfigArray['parameters']['editorUrlTitle']);
+			unset($projectConfigArray['parameters']['errorFormat']);
 			unset($projectConfigArray['parameters']['ignoreErrors']);
 			unset($projectConfigArray['parameters']['tipsOfTheDay']);
 			unset($projectConfigArray['parameters']['parallel']);