PHP 7.3 is now available through our version switcher. Other versions have also been updated to: 5.6.39, 7.0.33, 7.1.25 & 7.2.13.
