Server-side WebDAV protocol implementation, in pure PHP