???

This commit is contained in:
2025-05-01 18:02:30 +08:00
parent 01ee421d05
commit 969f483693

View File

@@ -16,10 +16,8 @@
</div> </div>
<div class="results" style="width: 100%; "></div> <div class="results" style="width: 100%; "></div>
</div> </div>
</form>
<?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?> <?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?>
<form action="" method="get">
<div class="ui search" style="width: 120px; height: 28px; margin-top: -5.3px; "> <div class="ui search" style="width: 120px; height: 28px; margin-top: -5.3px; ">
<div class="ui 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'])) <input class="prompt" style="width: 100%; " type="text" placeholder="用户ID" name="query_user_id" value="<?php if (isset($_GET['query_user_id']))
@@ -28,8 +26,8 @@
</div> </div>
<div class="results" style="width: 100%; "></div> <div class="results" style="width: 100%; "></div>
</div> </div>
</form>
<?php endif; ?> <?php endif; ?>
</form>
</div> </div>