Add new user agent of windows 10 dav backend

Thanks Microsoft

Signed-off-by: Joas Schilling <coding@schilljs.com>

diff --git a/apps/dav/lib/Server.php b/apps/dav/lib/Server.php
index 1205d018241035a7a50395bc83718cce9ad3c20a..772dfcf7e87d732bd9c63e1f720224c606275ace 100644 (file)
--- a/apps/dav/lib/Server.php
+++ b/apps/dav/lib/Server.php
@@ -153,6 +153,7 @@ class Server {
                if($request->isUserAgent([
                        '/WebDAVFS/',
                        '/Microsoft Office OneNote 2013/',
+                       '/^Microsoft-WebDAV/',// Microsoft-WebDAV-MiniRedir/6.1.7601
                ])) {
                        $this->server->addPlugin(new FakeLockerPlugin());
                }