From d88ec8a1189b98b2c9cb853e2d27dac34b93da82 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Wed, 24 Sep 2025 14:59:50 +0200
Subject: [PATCH] make a extension disabled if it's disabled in conf.php

---
 inc/inc.Extension.php | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/inc/inc.Extension.php b/inc/inc.Extension.php
index 016240071..ce78fda55 100644
--- a/inc/inc.Extension.php
+++ b/inc/inc.Extension.php
@@ -21,11 +21,17 @@ $extMgr = new SeedDMS_Extension_Mgr($settings->_rootDir."/ext", $settings->_cach
 $version = new SeedDMS_Version;
 
 foreach($extMgr->getExtensionConfiguration() as $extname=>$extconf) {
+	if($extconf['disable']) {
+		$settings->disableExtension($extname);
+		continue;
+	}
 	if(!$settings->extensionIsDisabled($extname)) {
-		$disabled = true;
+		$disabled = false;
 		if($extMgr->checkExtensionByName($extname, $extconf)) {
 			$disabled = false;
+			$settings->enableExtension($extname);
 		} else {
+			$disabled = true;
 			$settings->disableExtension($extname);
 		//	echo $extMgr->getErrorMsg();
 		}
@@ -65,5 +71,9 @@ foreach($extMgr->getExtensionConfiguration() as $extname=>$extconf) {
 				}
 			}
 		}
+	} else {
+		// Ensure $settings->_extensions has an entry for the extension, even if
+		// the extension is disabled already.
+		$settings->disableExtension($extname);
 	}
 }