[dev-php/HTTP_WebDAV_Client] cleanup