[ext_manager] don't disable hidden extensions

2024-01-06 21:04:12 +00:00
parent 886a645a2c
commit d16f58ec7f
2 changed files with 24 additions and 21 deletions
--- a/ext/ext_manager/theme.php
+++ b/ext/ext_manager/theme.php
@@ -86,6 +86,18 @@ class ExtManagerTheme extends Themelet
            ));
        }

+        if($editable) {
+            foreach ($extensions as $extension) {
+                if ($extension->visibility === ExtensionVisibility::HIDDEN && !$extension->core) {
+                    $form->appendChild(INPUT([
+                        "type" => 'hidden',
+                        "name" => "ext_{$extension->key}",
+                        "value" => ($extension->is_enabled() === true) ? "on" : "off"
+                    ]));
+                }
+            }
+        }
+
        $page->set_title("Extensions");
        $page->set_heading("Extensions");
        $page->add_block(new NavBlock());