From 692318dcc1e566d634a0214b87164d98177a4fca Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Wed, 2 Apr 2025 08:05:37 +0200
Subject: [PATCH] pass extension name to view

---
 out/out.Settings.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/out/out.Settings.php b/out/out.Settings.php
index 6f5422620..9e20ea4de 100644
--- a/out/out.Settings.php
+++ b/out/out.Settings.php
@@ -42,6 +42,7 @@ if($view) {
 	$view->setParam('settings', $settings);
 	$view->setParam('extmgr', $extMgr);
 	$view->setParam('currenttab', (isset($_REQUEST['currenttab']) ? $_REQUEST['currenttab'] : ''));
+	$view->setParam('extname', (isset($_REQUEST['extensionname']) ? $_REQUEST['extensionname'] : ''));
 	$view->setParam('allusers', $users);
 	$view->setParam('allgroups', $groups);
 	$view->setParam('accessobject', $accessop);