From 88530f5f67a18ec490ac58cf5995b3055a835734 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Mon, 5 Feb 2024 23:01:22 +0000
Subject: [PATCH] [ext manager] interpret 'off' as 'turn off extension'

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

diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php
index 73b176d1..8d58c83a 100644
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@@ -117,7 +117,7 @@ class ExtManager extends Extension
     }
 
     /**
-     * @param array<string, bool> $settings
+     * @param array<string, mixed> $settings
      */
     private function set_things(array $settings): void
     {
@@ -125,7 +125,7 @@ class ExtManager extends Extension
         $extras = [];
 
         foreach (ExtensionInfo::get_all_keys() as $key) {
-            if (!in_array($key, $core) && isset($settings["ext_$key"])) {
+            if (!in_array($key, $core) && isset($settings["ext_$key"]) && $settings["ext_$key"] === "on") {
                 $extras[] = $key;
             }
         }