File php7-openssl.patch of Package php7