diff options
author | Igor Scheller <igor.scheller@igorshp.de> | 2017-08-30 19:57:01 +0200 |
---|---|---|
committer | Igor Scheller <igor.scheller@igorshp.de> | 2017-08-30 19:57:01 +0200 |
commit | 2bd127c011846aad69731d1d63535a3d4f100af0 (patch) | |
tree | c05736a9ab1daa00047a3092887f972f701609e4 /includes/pages/user_settings.php | |
parent | 96f1d9fd541d0c5ef78151f8c69a89c41684b67a (diff) |
Use symfony session
Diffstat (limited to 'includes/pages/user_settings.php')
-rw-r--r-- | includes/pages/user_settings.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/includes/pages/user_settings.php b/includes/pages/user_settings.php index 03621a45..0ba8bbcb 100644 --- a/includes/pages/user_settings.php +++ b/includes/pages/user_settings.php @@ -164,6 +164,7 @@ function user_settings_locale($user_source, $locales) { $valid = true; $request = request(); + $session = session(); if ($request->has('language') && isset($locales[$request->input('language')])) { $user_source['Sprache'] = $request->input('language'); @@ -182,7 +183,7 @@ function user_settings_locale($user_source, $locales) $user_source['UID'], ] ); - $_SESSION['locale'] = $user_source['Sprache']; + $session->set('locale', $user_source['Sprache']); success('Language changed.'); redirect(page_link_to('user_settings')); |