PHP 7.3 update

Not sure what you think of #PHP, but it's still powering quite a lot of pages out there. So I decided to do the update from 7.2 to 7.3 - slightly nervous I j...