diff options
author | Andrew Dolgov <[email protected]> | 2017-04-26 15:29:22 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2017-04-26 15:29:22 +0300 |
commit | 7b55001eeeb326323d020dcfac2f864f8c3ad633 (patch) | |
tree | 92b09e0349b49b1741a8b45172974addb136fbc5 /classes/db/prefs.php | |
parent | b49bb441f4fc722911794e80366d37df626a5613 (diff) |
fix various issues reported by static analysis
update gitlab-ci config
Diffstat (limited to 'classes/db/prefs.php')
-rw-r--r-- | classes/db/prefs.php | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/classes/db/prefs.php b/classes/db/prefs.php index 3e92bb89b..0d4ebc2d2 100644 --- a/classes/db/prefs.php +++ b/classes/db/prefs.php @@ -23,8 +23,6 @@ class Db_Prefs { } function cache() { - $profile = false; - $user_id = $_SESSION["uid"]; @$profile = $_SESSION["profile"]; @@ -129,7 +127,6 @@ class Db_Prefs { @$profile = $_SESSION["profile"]; } else { $user_id = sprintf("%d", $user_id); - $prefs_cache = false; } if ($profile) { |