diff -r 73cb1c98ef7d -r ca50e1ebdc4d src/server/public/webdav.h
--- a/src/server/public/webdav.h	Fri Jan 17 19:12:05 2020 +0100
+++ b/src/server/public/webdav.h	Fri Jan 17 19:37:24 2020 +0100
@@ -303,6 +303,12 @@
 
 size_t webdav_plist_size(WebdavPList *list);
 
+int webdav_nslist_add(
+        pool_handle_t *pool,
+        WebdavNSList **begin,
+        WebdavNSList **end,
+        WSNamespace *ns);
+
 WebdavPListIterator webdav_plist_iterator(WebdavPList **list);
 int webdav_plist_iterator_next(WebdavPListIterator *i, WebdavPList **cur);
 void webdav_plist_iterator_remove_current(WebdavPListIterator *i);