Php 7.2 -> 7.3

[Jos Chrispijn]

Op 6-12-20 om 20:11 schreef Jos Chrispijn:
> Can someone tell me how I can best upgrade my
> 
> PHP 7.2.34 (cli) (built: Oct 10 2020 01:19:29) ( NTS ) to PHP 7.3 or 7.4?

Thanks to your suggestions and kind information, I just managed to 
upgrade to PHP 7.4.13_2
As I got the good vibe, I also upgraded MySQL from 5.7 to 8.0 which was 
intense but really raised my learning curve as well.

Keep up the good work,
Jos