Merge pull request #13326 from mlutfy/intall-php72