From 2fb8f10084742f093f40424117bb669fdb885c34 Mon Sep 17 00:00:00 2001 From: Baoshuo Date: Sat, 11 Feb 2023 06:31:06 +0800 Subject: [PATCH] fix: d651d96b178c89dc1e06685017cfcf04e4ac4333 --- web/app/models/UOJForm.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/web/app/models/UOJForm.php b/web/app/models/UOJForm.php index c0cc276..77ec13a 100644 --- a/web/app/models/UOJForm.php +++ b/web/app/models/UOJForm.php @@ -443,16 +443,16 @@ class UOJForm { ); if ($config['preferred_lang'] == null || !isset($config['languages'][$config['preferred_lang']])) { - $preferred_lang = Cookie::get('uoj_preferred_language'); + $config['preferred_lang'] = Cookie::get('uoj_preferred_language'); } if ($config['preferred_lang'] == null || !isset($config['languages'][$config['preferred_lang']])) { - $preferred_lang = UOJLang::$default_preferred_language; + $config['preferred_lang'] = UOJLang::$default_preferred_language; } $langs_options_str = ''; foreach ($config['languages'] as $lang_code => $lang_display) { - $langs_options_str .= HTML::option($lang_code, $lang_display, $lang_code === $preferred_lang); + $langs_options_str .= HTML::option($lang_code, $lang_display, $lang_code == $config['preferred_lang']); } $text = json_encode(UOJLocale::get('problems::source code') . ': ' . HTML::tag('code', [], $config['filename']));