đ WebAdmin FileManager
Linux 5.15.0-187-generic
PHP 8.3.33
/ Root
/
var
/
www
/
vhosts
/
nirmolakheera.com
/
httpdocs
/
vendor
/
phpunit
/
php-code-coverage
/
src
/
Exception
đ Files
đ¤ Upload
â New
âšī¸ Info
âŦī¸ Up
âī¸ Editing: PathExistsButIsNotDirectoryException.php
â Back
<?php declare(strict_types=1); /* * This file is part of phpunit/php-code-coverage. * * (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 SebastianBergmann\CodeCoverage\Driver; use function sprintf; use RuntimeException; use SebastianBergmann\CodeCoverage\Exception; final class PathExistsButIsNotDirectoryException extends RuntimeException implements Exception { public function __construct(string $path) { parent::__construct(sprintf('"%s" exists but is not a directory', $path)); } }
âī¸ Rename Item
Original:
Cancel
Rename