Warning: session_start(): Session cannot be started after headers have already been sent in /home/tvrreohg/public_html/manga.php on line 13
 * * For the full copyright and license information, please view the LICENSE * file that was distributed with this source code. */ namespace PHPUnit\TextUI\Configuration; /** * @no-named-arguments Parameter names are not covered by the backward compatibility promise for PHPUnit * * @immutable */ final readonly class File { /** * @var non-empty-string */ private string $path; /** * @param non-empty-string $path */ public function __construct(string $path) { $this->path = $path; } /** * @return non-empty-string */ public function path(): string { return $this->path; } }