From a770e0df716b20e92580f0f5ca9d4f7c948106fd Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Sat, 7 Dec 2024 14:58:59 +0100
Subject: [PATCH] Make $append parameter non-optional

---
 src/Runner/CodeCoverage.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Runner/CodeCoverage.php b/src/Runner/CodeCoverage.php
index 883e4f32ad3..0fd420ae01c 100644
--- a/src/Runner/CodeCoverage.php
+++ b/src/Runner/CodeCoverage.php
@@ -171,7 +171,7 @@ public function start(TestCase $test): void
         $this->collecting = true;
     }
 
-    public function stop(bool $append = true, array|false $linesToBeCovered = [], array $linesToBeUsed = []): void
+    public function stop(bool $append, array|false $linesToBeCovered = [], array $linesToBeUsed = []): void
     {
         if (!$this->collecting) {
             return;