diff options
Diffstat (limited to 'vendor/symfony/polyfill-php80/Resources/stubs/UnhandledMatchError.php')
-rw-r--r-- | vendor/symfony/polyfill-php80/Resources/stubs/UnhandledMatchError.php | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/vendor/symfony/polyfill-php80/Resources/stubs/UnhandledMatchError.php b/vendor/symfony/polyfill-php80/Resources/stubs/UnhandledMatchError.php deleted file mode 100644 index 37937cbfa..000000000 --- a/vendor/symfony/polyfill-php80/Resources/stubs/UnhandledMatchError.php +++ /dev/null @@ -1,7 +0,0 @@ -<?php - -if (\PHP_VERSION_ID < 80000) { - class UnhandledMatchError extends Error - { - } -} |