migrate from redis to valkey

2026-09-03 01:17:13 +00:00 · 2025-02-28 15:36:19 +01:00
parent 35a6f81d0d
commit c27000215e
80 changed files with 754 additions and 753 deletions
@@ -1,7 +1,7 @@
 <?php
 function policy($_action, $_scope, $_data = null) {
  global $pdo;
-  global $redis;
+  global $valkey;
  global $lang;
  $_data_log = $_data;
  switch ($_action) {