[dev-php/HTTP_WebDAV_Client] make patch work