Fix broken webdav extension

I had this error when trying to deploy on my repo :