From 71800770b186fdf0eb7aaef411ad932fa58bfff0 Mon Sep 17 00:00:00 2001 From: Brown Date: Fri, 9 Nov 2018 12:59:17 -0500 Subject: [PATCH] Fix delimiter --- src/Psalm/Codebase/ClassLikes.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Psalm/Codebase/ClassLikes.php b/src/Psalm/Codebase/ClassLikes.php index f7aaa8afc..98df0e582 100644 --- a/src/Psalm/Codebase/ClassLikes.php +++ b/src/Psalm/Codebase/ClassLikes.php @@ -127,7 +127,7 @@ class ClassLikes $predefined_classes = get_declared_classes(); foreach ($predefined_classes as $predefined_class) { - $predefined_class = preg_replace('/^\\/', $predefined_class); + $predefined_class = preg_replace('/^\\\/', '', $predefined_class); $reflection_class = new \ReflectionClass($predefined_class); if (!$reflection_class->isUserDefined()) { @@ -141,7 +141,7 @@ class ClassLikes $predefined_interfaces = get_declared_interfaces(); foreach ($predefined_interfaces as $predefined_interface) { - $predefined_interface = preg_replace('/^\\/', $predefined_interface); + $predefined_interface = preg_replace('/^\\\/', '', $predefined_interface); $reflection_class = new \ReflectionClass($predefined_interface); if (!$reflection_class->isUserDefined()) {