diff options
Diffstat (limited to 'symfony/polyfill-php80/Resources/stubs/PhpToken.php')
-rw-r--r-- | symfony/polyfill-php80/Resources/stubs/PhpToken.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/symfony/polyfill-php80/Resources/stubs/PhpToken.php b/symfony/polyfill-php80/Resources/stubs/PhpToken.php new file mode 100644 index 00000000..72f10812 --- /dev/null +++ b/symfony/polyfill-php80/Resources/stubs/PhpToken.php @@ -0,0 +1,7 @@ +<?php + +if (\PHP_VERSION_ID < 80000 && \extension_loaded('tokenizer')) { + class PhpToken extends Symfony\Polyfill\Php80\PhpToken + { + } +} |