Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/erikdubbelboer/phpRedisAdmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'logout.php')
-rw-r--r--logout.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/logout.php b/logout.php
index 44b1785..12cc80b 100644
--- a/logout.php
+++ b/logout.php
@@ -1,6 +1,7 @@
<?php
require_once 'includes/common.inc.php';
+global $redis, $config, $csrfToken, $server;
if (!empty($config['cookie_auth'])) {
// Cookie-based auth