Remove psalm- prefix

sebastianbergmann · sebastianbergmann · commit e0c55e4f925f · 2025-06-20T08:11:31.000+02:00
diff --git a/src/TextUI/Configuration/Cli/Builder.php b/src/TextUI/Configuration/Cli/Builder.php
@@ -1337,7 +1337,7 @@ private function markProcessed(string $option): void
     }
 
     /**
-     * @psalm-param non-empty-string $option
+     * @param non-empty-string $option
      */
     private function warnWhenOptionsConflict(?bool $current, string $option, string $opposite): void
     {

Original file line number	Diff line number	Diff line change
`@@ -1337,7 +1337,7 @@ private function markProcessed(string $option): void`
`1337`	`1337`	`}`
`1338`	`1338`
`1339`	`1339`	`/**`
`1340`		`- * @psalm-param non-empty-string $option`
	`1340`	`+ * @param non-empty-string $option`
`1341`	`1341`	`*/`
`1342`	`1342`	`private function warnWhenOptionsConflict(?bool $current, string $option, string $opposite): void`
`1343`	`1343`	`{`