diff options
| author | Jan-Hendrik Willms <tleilax+studip@gmail.com> | 2024-07-03 13:46:44 +0000 |
|---|---|---|
| committer | Jan-Hendrik Willms <tleilax+studip@gmail.com> | 2024-07-03 13:46:44 +0000 |
| commit | 7e39ea1f3b3443c6e337c681f3c34dcb79396018 (patch) | |
| tree | b9ae9fa50b20079fbec4fbf486d438952f971552 /app/controllers/admin/plugin.php | |
| parent | e699246d87a28f38dae2b1bb756a8c6778f45cca (diff) | |
use Request::get() instead of Request::option() so that namespaced plugin...
Closes #4364
Merge request studip/studip!3164
Diffstat (limited to 'app/controllers/admin/plugin.php')
| -rw-r--r-- | app/controllers/admin/plugin.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/controllers/admin/plugin.php b/app/controllers/admin/plugin.php index 8a6935b..0a01083 100644 --- a/app/controllers/admin/plugin.php +++ b/app/controllers/admin/plugin.php @@ -43,7 +43,7 @@ class Admin_PluginController extends AuthenticatedController $settings = $current = $GLOBALS['user']->cfg->PLUGINADMIN_DISPLAY_SETTINGS; foreach ((array)$settings as $key => $value) { - $settings[$key] = Request::option($key, $settings[$key]) ?: null; + $settings[$key] = Request::get($key, $settings[$key]) ?: null; } if ($settings !== $current) { |