Update shipped.json

diff --git a/core/shipped.json b/core/shipped.json
index 0674177a6c995e2520ab596f079ec08104b39588..0def2ed62a8286bad2c3b10456175ae9047834ee 100644 (file)
--- a/core/shipped.json
+++ b/core/shipped.json
@@ -11,7 +11,8 @@
     "firstrunwizard",
     "templateeditor",
     "user_external",
-    "user_webdavauth external",
+    "user_webdavauth",
+    "external",
     "files_encryption",
     "files_locking",
     "files_sharing",