관리-도구

편집 파일: DirectoryCouldNotBeCreatedException.php

<?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; use RuntimeException; final class DirectoryCouldNotBeCreatedException extends RuntimeException implements Exception { }