Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/nextcloud/3rdparty.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'symfony/polyfill-php80/Resources/stubs/PhpToken.php')
-rw-r--r--symfony/polyfill-php80/Resources/stubs/PhpToken.php7
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
+ {
+ }
+}