Add #[Override] attribute to MongoBatchRepository

paulinevos · paulinevos · commit 0e91c952249e · 2025-06-19T11:32:46.000+02:00
diff --git a/src/Bus/MongoBatchRepository.php b/src/Bus/MongoBatchRepository.php
@@ -216,6 +216,7 @@ public function prune(DateTimeInterface $before): int
     }
 
     /** Prune all the unfinished entries older than the given date. */
+    #[Override]
     public function pruneUnfinished(DateTimeInterface $before): int
     {
         $result = $this->collection->deleteMany(
@@ -229,6 +230,7 @@ public function pruneUnfinished(DateTimeInterface $before): int
     }
 
     /** Prune all the cancelled entries older than the given date. */
+    #[Override]
     public function pruneCancelled(DateTimeInterface $before): int
     {
         $result = $this->collection->deleteMany(

Original file line number	Diff line number	Diff line change
`@@ -216,6 +216,7 @@ public function prune(DateTimeInterface $before): int`
`216`	`216`	`}`
`217`	`217`
`218`	`218`	`/** Prune all the unfinished entries older than the given date. */`
	`219`	`+ #[Override]`
`219`	`220`	`public function pruneUnfinished(DateTimeInterface $before): int`
`220`	`221`	`{`
`221`	`222`	`$result = $this->collection->deleteMany(`
`@@ -229,6 +230,7 @@ public function pruneUnfinished(DateTimeInterface $before): int`
`229`	`230`	`}`
`230`	`231`
`231`	`232`	`/** Prune all the cancelled entries older than the given date. */`
	`233`	`+ #[Override]`
`232`	`234`	`public function pruneCancelled(DateTimeInterface $before): int`
`233`	`235`	`{`
`234`	`236`	`$result = $this->collection->deleteMany(`