diff --git a/web/app/controllers/problem_list.php b/web/app/controllers/problem_list.php index 61807b7..7176138 100644 --- a/web/app/controllers/problem_list.php +++ b/web/app/controllers/problem_list.php @@ -13,8 +13,12 @@ become404Page(); } + if (!isset($_COOKIE['bootstrap4'])) { + $REQUIRE_LIB['bootstrap5'] = ''; + } + function echoProblem($problem) { - global $myUser, $removeProblemForms; + global $myUser, $removeProblemForms, $REQUIRE_LIB; if (isProblemVisibleToUser($problem, $myUser)) { echo '