Fix broken webdav extension
Merge pull request #260 from ncornette/fix-webdav

Fix broken webdav extension