diff --git a/.phan/config.php b/.phan/config.php index af3a2aa9aca..0e35d62079b 100644 --- a/.phan/config.php +++ b/.phan/config.php @@ -28,7 +28,6 @@ $cfg['minimum_target_php_version'] = '7.4.3'; $cfg['file_list'] = array_merge( $cfg['file_list'], class_exists( Socket::class ) ? [] : [ '.phan/stubs/Socket.php' ], - class_exists( ReturnTypeWillChange::class ) ? [] : [ '.phan/stubs/ReturnTypeWillChange.php' ], class_exists( AllowDynamicProperties::class ) ? [] : [ '.phan/stubs/AllowDynamicProperties.php' ], class_exists( WeakMap::class ) ? [] : [ '.phan/stubs/WeakMap.php' ], [ diff --git a/.phan/stubs/ReturnTypeWillChange.php b/.phan/stubs/ReturnTypeWillChange.php deleted file mode 100644 index d6da963ced3..00000000000 --- a/.phan/stubs/ReturnTypeWillChange.php +++ /dev/null @@ -1,6 +0,0 @@ -