Update user cache.

7 years ago · ed181a66de
parent 4709be2b9b
commit ed181a66de
1 changed files with 11 additions and 0 deletions
--- a/main/inc/global.inc.php
+++ b/main/inc/global.inc.php
@ -495,6 +495,17 @@ if (!empty($valid_languages)) {
                    $userEntity->setLanguage($language_interface);
                    Database::getManager()->merge($userEntity);
                    Database::getManager()->flush();
+
+                    // Update cache
+                    api_get_user_info(
+                        api_get_user_id(),
+                        true,
+                        false,
+                        true,
+                        false,
+                        true,
+                        true
+                    );
                    if (isset($_SESSION['_user'])) {
                        $_SESSION['_user']['language'] = $language_interface;
                    }