This bug was fixed in PHP 7.3.3 released a couple of days ago, 07 March 2019. If you were on the affected PHP 7.3 branch, most servers automatically update their PHP to latest minor version.