Switch default version of PHP from 7.2 to 7.4.

7.2 does not receive any bugfixes anymore. Also the security fixes will
end at 2020-11-30.
Since PHP 7.3 will only receive bugfixes for the next 2 month, we
switch directly to 7.4

PR: 248074
Sponsored by: Bounce Experts