PHP 7.2, and 7.3 Updated

Updated to PHP 7.2.25, and 7.3.12 platform-wide. For information on upgrading between major PHP versions see Upgrade PHP Versions.