From 7531afca4b08d3d8c77b017e002bea28b8da72bd Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Tue, 10 Jan 2023 18:33:23 +0100
Subject: [PATCH] do not set user in view

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

diff --git a/out/out.OpensearchDesc.php b/out/out.OpensearchDesc.php
index 246f80ea7..1055d87dd 100644
--- a/out/out.OpensearchDesc.php
+++ b/out/out.OpensearchDesc.php
@@ -32,7 +32,7 @@ require_once("inc/inc.ClassAccessOperation.php");
 //require_once("inc/inc.Authentication.php");
 
 $tmp = explode('.', basename($_SERVER['SCRIPT_FILENAME']));
-$view = UI::factory($theme, $tmp[1], array('dms'=>$dms, 'user'=>$user));
+$view = UI::factory($theme, $tmp[1], array('dms'=>$dms, 'user'=null));
 if($view) {
 	$view($_GET);
 	exit;