From 8f07b8ca50b2ebd5dad0ad77f217e8ca4ca25cb3 Mon Sep 17 00:00:00 2001 From: Uwe Steinmann Date: Sat, 17 Jan 2026 08:49:53 +0100 Subject: [PATCH] some more documentation --- inc/inc.Extension.php | 1 + 1 file changed, 1 insertion(+) diff --git a/inc/inc.Extension.php b/inc/inc.Extension.php index 3c776a9c4..8f9d9f857 100644 --- a/inc/inc.Extension.php +++ b/inc/inc.Extension.php @@ -27,6 +27,7 @@ class_alias('Seeddms\Seeddms\ExtensionBase', 'SeedDMS_ExtBase'); $extmgr = new ExtensionMgr($settings->_rootDir."/ext", $settings->_cacheDir, $settings->_repositoryUrl, $settings->_proxyUrl, $settings->_proxyUser, $settings->_proxyPassword); foreach($extmgr->getExtensionConfiguration() as $extname=>$extconf) { + /* Check if conf.php already disables the extension */ if($extconf['disable']) { $settings->disableExtension($extname); continue;