WP File Manager

Name	Action
..
CoveredCodeNotExecutedException.php	Edit
Exception.php	Edit
InvalidArgumentException.php	Edit
MissingCoversAnnotationException.php	Edit
RuntimeException.php	Edit
UnintentionallyCoveredCodeException.php	Edit

Editing: CoveredCodeNotExecutedException.php

<?php /* * This file is part of the php-code-coverage package. * * (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; /** * Exception that is raised when covered code is not executed. */ class CoveredCodeNotExecutedException extends RuntimeException { }