Deprecated: Using ${var} in strings is deprecated, use {$var} instead in /home/myclienteu/issues/vendor/phpunit/php-code-coverage/tests/_files/source_with_namespace.php on line 19