From cc6cb476b01f37f5d014a6293f5172c80481f909 Mon Sep 17 00:00:00 2001
From: cnathe <cnathe@labkey.com>
Date: Tue, 9 Dec 2025 16:46:22 -0600
Subject: [PATCH] GitHub Issue 712: Add "core" to default module set for
 DefaultFolderType - folder management page will not disable the ability to
 uncheck the "Portal" module

---
 api/src/org/labkey/api/module/DefaultFolderType.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/api/src/org/labkey/api/module/DefaultFolderType.java b/api/src/org/labkey/api/module/DefaultFolderType.java
index b716a5d09b0..eb0dfbc7fc4 100644
--- a/api/src/org/labkey/api/module/DefaultFolderType.java
+++ b/api/src/org/labkey/api/module/DefaultFolderType.java
@@ -425,6 +425,7 @@ public static Set<Module> getDefaultModuleSet(Module...additionalModules)
         if (null == s_defaultModules)
         {
             Set<Module> defaultModules = new HashSet<>();
+            defaultModules.add(getModule("core")); // GitHub Issue 712
             if (ModuleLoader.getInstance().hasModule("Announcements"))
                 defaultModules.add(getModule("Announcements"));
             if (ModuleLoader.getInstance().hasModule("FileContent"))