diff options
author | Andrew Dolgov <[email protected]> | 2018-12-06 07:08:54 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2018-12-06 07:08:54 +0300 |
commit | 19e24b4fe2905656ea1c8576e00389396ec3a14e (patch) | |
tree | 7898a89f7396eb89378b89354636b9c44f9edbcc /classes/pref | |
parent | f33cd597be3f56b67eb23b42ae756b3c1397bf8a (diff) |
force cast profile id to integer when assigning to session variable
Diffstat (limited to 'classes/pref')
-rw-r--r-- | classes/pref/prefs.php | 4 |
1 files changed, 0 insertions, 4 deletions
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"]); |