A simple PHP WebDAV client and stream wrapper