Upgrading from PHP 7.2 to 7.3