From cce7416e70e60073c5f9f87db3ec7a816080382d Mon Sep 17 00:00:00 2001 From: Aaron Piotrowski Date: Fri, 29 Jul 2022 13:32:11 -0500 Subject: [PATCH] Remove Fiber stubs Psalm now includes these stubs itself. --- psalm.xml | 4 -- stubs/Fiber.php | 115 -------------------------------------- stubs/FiberError.php | 15 ----- stubs/FiberExit.php | 15 ----- stubs/ReflectionFiber.php | 58 ------------------- 5 files changed, 207 deletions(-) delete mode 100644 stubs/Fiber.php delete mode 100644 stubs/FiberError.php delete mode 100644 stubs/FiberExit.php delete mode 100644 stubs/ReflectionFiber.php diff --git a/psalm.xml b/psalm.xml index f7dc23f..7c63f8b 100644 --- a/psalm.xml +++ b/psalm.xml @@ -67,9 +67,5 @@ - - - - diff --git a/stubs/Fiber.php b/stubs/Fiber.php deleted file mode 100644 index 0b54c0b..0000000 --- a/stubs/Fiber.php +++ /dev/null @@ -1,115 +0,0 @@ -