修改私有比赛不再显示在不属于这个比赛的用户那里

This commit is contained in:
2024-10-11 15:03:36 +08:00
parent a651acaf02
commit 0464c77ffb
2 changed files with 162 additions and 167 deletions

View File

@@ -31,7 +31,7 @@
<?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?>
<form action="" method="get">
<div class="ui search" style="width: 280px; height: 28px; margin-top: -5.3px;">
<div class="ui left icon input" style="width: 100%; ">
<div class="ui icon input" style="width: 100%; ">
<input class="prompt" style="width: 100%; " type="text" placeholder="用户ID" name="query_user_id" value="<?php if (isset($_GET['query_user_id']))
echo htmlentities($_GET['query_user_id'], ENT_QUOTES, 'UTF-8') ?>">