From 19e24b4fe2905656ea1c8576e00389396ec3a14e Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Thu, 6 Dec 2018 07:08:54 +0300 Subject: force cast profile id to integer when assigning to session variable --- classes/pref/prefs.php | 4 ---- 1 file changed, 4 deletions(-) (limited to 'classes/pref') diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index af827af58..92a5f0818 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -454,13 +454,9 @@ class Pref_Prefs extends Handler_Protected { $profile = $_SESSION["profile"]; - if (!is_numeric($profile) || !$profile || get_schema_version() < 63) $profile = null; - if ($profile) { print_notice(__("Some preferences are only available in default profile.")); - } - if ($_SESSION["profile"]) { initialize_user_prefs($_SESSION["uid"], $profile); } else { initialize_user_prefs($_SESSION["uid"]); -- cgit v1.2.3