Warning: Undefined variable $neverHappens in /home/micro01m/public_html/app.microside.org/example/vendor/phpunit/php-code-coverage/tests/_files/source_with_ignore.php on line 2