openid/php-openid — pull request #84 by itsour (2012-10-25 10:25:49+00:00)
Title: Set proxy options only if Auth_OpenID_HTTP_PROXY is explicitly set

this patch allows setting the proxy site on and off, or leaving the defaults as-is.