File "RandomException.php"

Full path: /home/argothem/www/organecyberpresse/vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomException.php
File size: 429 bytes
MIME-type: text/x-php
Charset: utf-8

<?php

/*
 * This file is part of the Symfony package.
 *
 * (c) Fabien Potencier <fabien@symfony.com>
 *
 * 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;
    }
}