Hi,
Thanks for the fix. It worked!
I made a fresh copy of the site and upgraded WP to 5.4.1 and now I can change the file type also using PHP 7.3. Maybe I mess up something during testing and finding a solution for the first error.
So all good and thank you!
Cheers,
Raul