diff options
Diffstat (limited to 'vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomException.php')
-rw-r--r-- | vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomException.php | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomException.php b/vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomException.php new file mode 100644 index 000000000..3b9aae140 --- /dev/null +++ b/vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomException.php @@ -0,0 +1,21 @@ +<?php + +/* + * This file is part of the Symfony package. + * + * (c) Fabien Potencier <[email protected]> + * + * For the full copyright and license information, please view the LICENSE + * file that was distributed with this source code. + */ + +namespace Random; + +use Symfony\Polyfill\Php82\NoDynamicProperties; + +if (\PHP_VERSION_ID < 80200) { + class RandomException extends \Exception + { + use NoDynamicProperties; + } +} |