File "RandomError.php"

Full path: /home/argothem/www/organecyberpresse/vendor/symfony/polyfill-php82/Resources/stubs/Random/RandomError.php
File size: 421 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 RandomError extends \Error
    {
        use NoDynamicProperties;
    }
}