[PHP-INTERNALS] [PATCH] curl_reset

I submitted a patch to add a curl_reset function to the cURL extension.
It would be great if this patch could find its way into the PHP 5.4
release. This is my first attempt at a patch, so a review and feedback
would be greatly appreciated.

Feature request: http://bugs.php.net/bug.php?id=54022

Patch:
http://bugs.php.net/patch-display.php?bug_id=54022&patch=curl_reset&revision=latest

Motivation:

Many of the curl_setopt options can be removed from a handle using some
careful option setting that removes a related option as a side effect,
but some options cannot be removed directly or indirectly (e.g.
CURLOPT_RANGE, CURLOPT_TIMEOUT, CURLOPT_RESUME_FROM, CURLOPT_HTTPAUTH, etc).

Adding support for the curl_easy_reset method to the PHP bindings would
allow PHP developers to more easily implement connection pooling and
utilize persistent connections over HTTP/1.1.

curl_easy_reset has been available since version 7.12.1
(http://curl.haxx.se/libcurl/c/curl_easy_reset.html):
to the default values. This puts back the handle to the same state as it
was in when it was just created with curl_easy_init(3). It does not
change the following information kept in the handle: live connections,
the Session ID cache, the DNS cache, the cookies and shares.

Thanks,
Michael Dowling