diff options
| author | Mario <mario@mariovavti.com> | 2022-06-01 07:00:21 +0000 |
|---|---|---|
| committer | Mario <mario@mariovavti.com> | 2022-06-01 07:00:21 +0000 |
| commit | e63f0438415bb364f3085286ca2f199e83ab187b (patch) | |
| tree | b107429276ebfc92dc9b4f78e302a4967e5bf0a6 /vendor/symfony/polyfill-php80/Resources/stubs/UnhandledMatchError.php | |
| parent | c5f33baf27d80e2a7ad7307eacd3137609eeb089 (diff) | |
| parent | 33dd0c83e377b8adf00559337d13784ec136cecb (diff) | |
| download | volse-hubzilla-7.4.tar.gz volse-hubzilla-7.4.tar.bz2 volse-hubzilla-7.4.zip | |
Merge branch '7.4RC'7.4
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 - { - } -} |