From 5059520935d78ec40d8941d61ff3a6fcc68f7648 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Mon, 5 Feb 2024 23:16:31 +0000
Subject: [PATCH] a little clarity

---
 ext/ext_manager/main.php | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php
index 8d58c83a..55f21024 100644
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@@ -125,7 +125,10 @@ class ExtManager extends Extension
         $extras = [];
 
         foreach (ExtensionInfo::get_all_keys() as $key) {
-            if (!in_array($key, $core) && isset($settings["ext_$key"]) && $settings["ext_$key"] === "on") {
+            if (in_array($key, $core)) {
+                continue;  // core extensions are always enabled
+            }
+            if (isset($settings["ext_$key"]) && $settings["ext_$key"] === "on") {
                 $extras[] = $key;
             }
         }