Patch php_curl_crlfile.patch for cURL related Bug #65575

Patch version 2013-08-28 20:33 UTC

• 2013-08-28 20:33 UTC [diff to current]

Developer: kf@sumptuouscapital.com

diff --git a/ext/curl/interface.c b/ext/curl/interface.c
index d122051..36e5a25 100644
--- a/ext/curl/interface.c
+++ b/ext/curl/interface.c
@@ -715,6 +715,7 @@ PHP_MINIT_FUNCTION(curl)
 #endif
 #if LIBCURL_VERSION_NUM >= 0x071300 /* 7.19.0 */
 	REGISTER_CURL_CONSTANT(CURLINFO_PRIMARY_IP);
+	REGISTER_CURL_CONSTANT(CURLOPT_CRLFILE);
 #endif
 #if LIBCURL_VERSION_NUM >= 0x071500 /* 7.21.0 */
 	REGISTER_CURL_CONSTANT(CURLINFO_PRIMARY_PORT);
@@ -1848,6 +1849,7 @@ static int _php_curl_setopt(php_curl *ch, long option, zval **zvalue, zval *retu
 		case CURLOPT_SSLCERTTYPE:
 		case CURLOPT_ENCODING:
 #if LIBCURL_VERSION_NUM >= 0x071300
+		case CURLOPT_CRLFILE:
 		case CURLOPT_SSH_PUBLIC_KEYFILE:
 		case CURLOPT_SSH_PRIVATE_KEYFILE:
 #endif