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