Php 7.2 -> 7.3

[Jos Chrispijn]

Op 7-12-20 om 21:23 schreef John Levine:

> I agree that the differences between 7.2 and 7.4 are small.

Thanks all for your replies. I certainly feel more comfortable upgrading 
to php 7.4 now.

Cheers, Jos