From 3d9bdb02a09761b844d88c1ca9a15f2cd7507c91 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Mon, 17 Nov 2025 07:06:45 +0100
Subject: [PATCH] create extension configuration after updating an extension

---
 inc/inc.ClassExtensionMgr.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/inc/inc.ClassExtensionMgr.php b/inc/inc.ClassExtensionMgr.php
index e83b2f928..3f7a3577e 100644
--- a/inc/inc.ClassExtensionMgr.php
+++ b/inc/inc.ClassExtensionMgr.php
@@ -591,6 +591,11 @@ $EXT_CONF = '.var_export($EXT_CONF, true).';');
 			return false;
 		}
 
+		if (!$this->createExtensionConf()) {
+//			$this->errmsgs[] = "Cannot update extension configuration";
+//			return false;
+		}
+
 		return true;
 	} /* }}} */