From de1a87380b48a49a62eded901dc2e191a0723beb Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Wed, 29 Oct 2025 15:45:15 +0100
Subject: [PATCH] $extMgr is no called $extMgr

---
 out/out.ExtensionMgr.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/out/out.ExtensionMgr.php b/out/out.ExtensionMgr.php
index e0f47ca25..faec782b1 100644
--- a/out/out.ExtensionMgr.php
+++ b/out/out.ExtensionMgr.php
@@ -49,7 +49,7 @@ if($view) {
 	$view->setParam('extdir', $settings->_rootDir."/ext");
 	$view->setParam('version', $v);
 	$view->setParam('accessobject', $accessop);
-	$view->setParam('extmgr', $extMgr);
+	$view->setParam('extmgr', $extmgr);
 	$view->setParam('currenttab', $currenttab);
 	$view->setParam('extname', $extname);
 	$view($_GET);