From 661ae2e7e63139ea752ef7728d92b334efb301d3 Mon Sep 17 00:00:00 2001
From: Jan-Hendrik Willms <tleilax+github@gmail.com>
Date: Tue, 10 Oct 2023 17:42:15 +0200
Subject: [PATCH] re #3322

---
 lib/classes/sidebar/OptionsWidget.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/classes/sidebar/OptionsWidget.php b/lib/classes/sidebar/OptionsWidget.php
index 2c56de0af91..5f44c0c7aa0 100644
--- a/lib/classes/sidebar/OptionsWidget.php
+++ b/lib/classes/sidebar/OptionsWidget.php
@@ -93,7 +93,7 @@ class OptionsWidget extends ListWidget
      */
     public function addSelect(
         string $label,
-        string $url,
+        $url,
         string $name,
         array $options,
         $selected_option = false,
-- 
GitLab