仍未生效

This commit is contained in:
2024-10-11 17:50:02 +08:00
parent a7f8aed637
commit 07f150c926
2 changed files with 7 additions and 7 deletions

View File

@@ -30,15 +30,15 @@
<!-- 管理员用来显示指定用户的对错情况 -->
<?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?>
<form action="" method="get">
<div class="ui search" style="width: 160px; height: 28px; margin-top: -5.3px;">
<div class="ui search" style="width: 160px; height: 28px; margin-top: -5.3px; ">
<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']))
<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') ?>">
<i class="search icon"></i>
</div>
<div class="results" style="width: 100%; "></div>
</div>
</form>
<div class="results" style="width: 100%; "></div>
</div>
</form>
<?php endif; ?>
</div>