JsonErrorFormatter - include identifiers

phpstan · Mar 30, 2023 · 6910be2 · 6910be2
1 parent f60d56e
commit 6910be2
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/src/Command/ErrorFormatter/JsonErrorFormatter.php b/src/Command/ErrorFormatter/JsonErrorFormatter.php
@@ -49,6 +49,10 @@ public function formatErrors(AnalysisResult $analysisResult, Output $output): in
 				$message['tip'] = $tipFormatter->format($fileSpecificError->getTip());
 			}
 
+			if ($fileSpecificError->getIdentifier() !== null) {
+				$message['identifier'] = $fileSpecificError->getIdentifier();
+			}
+
 			$errorsArray['files'][$file]['messages'][] = $message;
 		}
 

diff --git a/src/Testing/LevelsTestCase.php b/src/Testing/LevelsTestCase.php
@@ -111,6 +111,7 @@ public function testLevels(
 				}
 
 				unset($message['tip']);
+				unset($message['identifier']);
 
 				$messages[] = $message;
 			}