diff --git a/web/app/controllers/problem_set.php b/web/app/controllers/problem_set.php index 8ea93c3..8cb5854 100644 --- a/web/app/controllers/problem_set.php +++ b/web/app/controllers/problem_set.php @@ -11,9 +11,7 @@ become403Page(); } - if (!isset($_COOKIE['bootstrap4'])) { - $REQUIRE_LIB['bootstrap5'] = ''; - } + $REQUIRE_LIB['bootstrap5'] = ''; if (isSuperUser($myUser) || isProblemManager($myUser) || isProblemUploader($myUser)) { $new_problem_form = new UOJForm('new_problem'); @@ -44,16 +42,9 @@ echo '