raise dependency on PHP 7.2 (cherry picked from commit 54b45e3e0d) (cherry picked from commit ecb1506731)
54b45e3e0d
ecb1506731