Notice: Undefined variable: neverHappens in /home/admin2bannerworl/public_html/admin2.bannerworld.co.uk/vendor-old/phpunit/php-code-coverage/tests/_files/source_with_ignore.php on line 2