Settings page finished, filter gui improved

2026-07-07 11:23:16 +02:00
parent 42df35f1a0
commit 2177834b39
12 changed files with 241 additions and 51 deletions
@@ -110,3 +110,15 @@ function gpc_get_enum(&$GPC, $varname, $values, $default = NULL) {
    }
    return $GPC[$varname];
 }
+
+function gpc_get_set(&$GPC, $varname, $allowed,  $as_string = false, $default = []) {
+    if (!isset($GPC[$varname])) {
+        return $default;
+    }
+    $selected = array_intersect($allowed, array_keys($GPC[$varname]));
+    if ($as_string) {
+        return implode(',', $selected);
+    } else {
+        return array_values($selected);
+    }
+}