File Manager

Editing:RequiresPhpExtension.php

<?php declare(strict_types=1);
/*
 * This file is part of PHPUnit.
 *
 * (c) Sebastian Bergmann <sebastian@phpunit.de>
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */
namespace PHPUnit\Framework\Attributes;

use Attribute;

/**
 * @immutable
 *
 * @no-named-arguments Parameter names are not covered by the backward compatibility promise for PHPUnit
 */
#[Attribute(Attribute::TARGET_CLASS | Attribute::TARGET_METHOD | Attribute::IS_REPEATABLE)]
final readonly class RequiresPhpExtension
{
    /**
     * @var non-empty-string
     */
    private string $extension;

/**
     * @var null|non-empty-string
     */
    private ?string $versionRequirement;

/**
     * @param non-empty-string      $extension
     * @param null|non-empty-string $versionRequirement
     */
    public function __construct(string $extension, ?string $versionRequirement = null)
    {
        $this->extension          = $extension;
        $this->versionRequirement = $versionRequirement;
    }

/**
     * @return non-empty-string
     */
    public function extension(): string
    {
        return $this->extension;
    }

/**
     * @return null|non-empty-string
     */
    public function versionRequirement(): ?string
    {
        return $this->versionRequirement;
    }
}

Cancel

🤩 File Manager - Mr.X

Editing:RequiresPhpExtension.php