Deprecated: Using ${var} in strings is deprecated, use {$var} instead in /mnt/disk1/hosted/cuadro_mando/vendor/phpunit/php-code-coverage/tests/_files/source_without_namespace.php on line 17