PHP 7.3.1 Lands A Bunch Of Fixes For This Fastest PHP Release Yet

For those that wait for a point release or two before upgrading to a new PHP release on your development box or web server, PHP 7.3.1 is out today as the first bug-fix release since last month's big PHP 7.3 release...