From dd76c010a3edbde2abc7ca8fed9bced5e4b70a67 Mon Sep 17 00:00:00 2001
From: Filippo Tessarotto <zoeslam@gmail.com>
Date: Thu, 5 Jan 2023 15:43:12 +0100
Subject: [PATCH] Add PHP 8.2 support

---
 src/cli/Arguments.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/cli/Arguments.php b/src/cli/Arguments.php
index 92a9ccf..b39eb38 100644
--- 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
      */