Merge branch '11.0'

sebastianbergmann · sebastianbergmann · commit 5e3ca41c62a0 · 2024-03-12T16:09:45.000+01:00
diff --git a/src/TextUI/Configuration/Cli/Builder.php b/src/TextUI/Configuration/Cli/Builder.php
@@ -368,6 +368,8 @@ public function fromParameters(array $parameters): Configuration
                         }
                     }
 
+                    $optionAllowedMultipleTimes = true;
+
                     break;
 
                 case 'h':

Original file line number	Diff line number	Diff line change
`@@ -368,6 +368,8 @@ public function fromParameters(array $parameters): Configuration`
`368`	`368`	`}`
`369`	`369`	`}`
`370`	`370`
	`371`	`+ $optionAllowedMultipleTimes = true;`
	`372`	`+`
`371`	`373`	`break;`
`372`	`374`
`373`	`375`	`case 'h':`