Cannot disable xDebug on PHP 7.4

I’m having this issue on PHP 7.4:

https://travis-ci.org/getsentry/sentry-symfony/jobs/618391820#L467-L469

$ phpenv config-rm xdebug.ini

File xdebug.ini does no exist.

The command "phpenv config-rm xdebug.ini" failed and exited with 1 during .

I don’t know if xDebug is simply missing or if disabling it like that is not working. Note that this is the suggested way to disabling it in the docs.

xdebug was not initially enabled for the 7.4.0. I’m looking into re-enabling it.