D25815
D25815
Bump PHP version requirement from 5.2.3 to 7.2.25
Author: aklapper
Reviewers: O1: Blessed Committers, Sten, avivey
Summary: Supporting PHP 8.4 requires syntax introduced in PHP 7.1.
Thus require PHP version 7.2.25 released on 21 November 2019.