Warning: Undefined variable $neverHappens in /home/trombino/public_html/sanctions.trombino.org/vendor/phpunit/php-code-coverage/tests/_files/source_without_ignore.php on line 2