diff options
Diffstat (limited to 'net/phpldapadmin/files/patch-htdocs_purge__cache.php')
| -rw-r--r-- | net/phpldapadmin/files/patch-htdocs_purge__cache.php | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/net/phpldapadmin/files/patch-htdocs_purge__cache.php b/net/phpldapadmin/files/patch-htdocs_purge__cache.php deleted file mode 100644 index c72239368b37..000000000000 --- a/net/phpldapadmin/files/patch-htdocs_purge__cache.php +++ /dev/null @@ -1,11 +0,0 @@ ---- htdocs/purge_cache.php.orig 2021-12-12 02:35:51 UTC -+++ htdocs/purge_cache.php -@@ -16,7 +16,7 @@ $purge_session_keys = array('app_initialized','backtra - $size = 0; - foreach ($purge_session_keys as $key) - if (isset($_SESSION[$key])) { -- $size += strlen(serialize($_SESSION[$key])); -+ $size += strlen((string) serialize($_SESSION[$key])); - unset($_SESSION[$key]); - } - |