diff --git a/web/app/controllers/problem_managers_manage.php b/web/app/controllers/problem_managers_manage.php index a9e456e..e1c7e2d 100644 --- a/web/app/controllers/problem_managers_manage.php +++ b/web/app/controllers/problem_managers_manage.php @@ -15,7 +15,11 @@ if (!hasProblemPermission($myUser, $problem)) { become403Page(); } - + + if (!isset($_COOKIE['bootstrap4'])) { + $REQUIRE_LIB['bootstrap5'] = ''; + } + $managers_form = newAddDelCmdForm('managers', function($username) { if (!validateUsername($username) || !queryUser($username)) { @@ -66,15 +70,60 @@ } ?> -

# : 管理

-