From a8f2cb8b6588443d5e4fa6dca3be68ed2511ae24 Mon Sep 17 00:00:00 2001
From: Lonnie Ezell <lonnieje@gmail.com>
Date: Fri, 23 Jun 2023 23:53:39 -0500
Subject: [PATCH] Attempting to make psalm happy

---
 system/HotReloader/IteratorFilter.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/system/HotReloader/IteratorFilter.php b/system/HotReloader/IteratorFilter.php
index b98a028d2443..753cfdf8b1a9 100644
--- a/system/HotReloader/IteratorFilter.php
+++ b/system/HotReloader/IteratorFilter.php
@@ -17,8 +17,8 @@
 /**
  * @internal
  *
- * @template-extends RecursiveFilterIterator<RecursiveIterator>
- * @template-implements RecursiveIterator<RecursiveIterator>
+ * @extends RecursiveFilterIterator<RecursiveIterator>
+ * @implements RecursiveIterator<RecursiveIterator>
  */
 final class IteratorFilter extends RecursiveFilterIterator implements RecursiveIterator
 {