Add PHP 8.2 support

sebastianbergmann · Jan 6, 2023 · dd76c01 · dd76c01
1 parent 1d58a71
commit dd76c01
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/cli/Arguments.php b/src/cli/Arguments.php
@@ -66,6 +66,11 @@ final class Arguments
  */
  private $clover;
 
+ /**
+ * @var ?string
+ */
+ private $cobertura;
+
  /**
  * @var ?string
  */