PHP 7.2 and 7.3 Updated

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