With the PHP 7.1 and 7.2 branches reaching the end of support time-frame, we will be upgrading all servers that are still running PHP 7.2 (or older) as the native versions to the current supported version, PHP 7.3, on Friday, the 26th of June 2020.
