klarkxy/hustoj
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

✨ feat: 优化评测状态页面表单和样式

Browse Source
This commit is contained in:
klarkxy
2026-04-11 20:57:47 +08:00
parent 917ea78c66
commit e5aadba7fd
1 changed files with 44 additions and 37 deletions
Download Patch File Download Diff File Expand all files Collapse all files

81
web/template/syzoj/conteststatus.php
View File

@@ -1,20 +1,25 @@
<?php $show_title="评测状态 - $OJ_NAME"; ?>
<?php $show_title="$MSG_STATUS - $OJ_NAME"; ?>
<?php include("template/$OJ_TEMPLATE/header.php");?>
<script src="template/<?php echo $OJ_TEMPLATE?>/js/textFit.min.js"></script>
<div class="padding">
<h1>Contest<?php echo $view_cid?> - <?php echo $view_title ?></h1>
<h1>Contest<?php echo $view_cid?> - <?php echo $view_title ?></h1>
<!-- <form action="" class="ui mini form" method="get" role="form" id="form"> -->
<form id=simform class="ui mini form" action="status.php" method="get">
<input type="hidden" name="cid" value="<?php echo $cid; ?>" />
<div class="inline fields" style="margin-bottom: 25px; white-space: nowrap; ">
<label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_PROBLEM ?>：</label>
<div class="field"><input name="problem_id" style="width: 100px; " type="text" value="<?php echo htmlspecialchars($problem_id, ENT_QUOTES) ?>"></div>
<label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_USER ?>：</label>
<div class="field"><input name="user_id" style="width: 100px; " type="text" value="<?php echo htmlspecialchars($user_id, ENT_QUOTES) ?>"></div>
<label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_PROBLEM_ID?>：</label>
<div class="field"><input name="problem_id" style="width: 50px; " type="text" value="<?php echo isset($problem_id)?htmlspecialchars($problem_id, ENT_QUOTES):"" ?>"></div>
<label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_USER?>：</label>
<div class="field"><input name="user_id" style="width: 50px; " type="text" value="<?php echo isset($user_id)?htmlspecialchars($user_id, ENT_QUOTES):"" ?>"></div>
<label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_LANG ?>：</label>
<label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_SCHOOL?>：</label>
<div class="field"><input name="school" style="width: 50px; " type="text" value="<?php echo isset($school)?htmlspecialchars($school, ENT_QUOTES):"" ?>"></div>
<label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_GROUP_NAME?>：</label>
<div class="field"><input name="group_name" style="width: 50px; " type="text" value="<?php echo isset($group_name)?htmlspecialchars($group_name, ENT_QUOTES):"" ?>"></div>
<label style="font-size: 1.2em; margin-right: 1px; "><?php echo $MSG_LANG?>：</label>
<select class="form-control" size="1" name="language" style="width: 110px;font-size: 1em ">
<option value="-1">All</option>
<?php
@@ -57,25 +62,26 @@
echo "
<select id=\"appendedInputButton\" class=\"form-control\" name=showsim onchange=\"document.getElementById('simform').submit();\" style=\"width: 110px;\">
<option value=0 ".($showsim==0?'selected':'').">All</option>
<option value=50 ".($showsim==50?'selected':'').">50</option>
<option value=60 ".($showsim==60?'selected':'').">60</option>
<option value=70 ".($showsim==70?'selected':'').">70</option>
<option value=80 ".($showsim==80?'selected':'').">80</option>
<option value=85 ".($showsim==85?'selected':'').">85</option>
<option value=90 ".($showsim==90?'selected':'').">90</option>
<option value=95 ".($showsim==95?'selected':'').">95</option>
<option value=100 ".($showsim==100?'selected':'').">100</option>
</select>";
}
?>
<button class="ui labeled icon mini button" type="submit" style="margin-left: 20px;">
<button class="ui labeled icon mini green button" type="submit" style="margin-left: 20px;">
<i class="search icon"></i>
<?php echo $MSG_SEARCH ?>
<?php echo $MSG_SEARCH;?>
</button>
<span class='ui mini grey button'>AWT:<?php echo round($avg_delay,2)?>s </span>
<script>var AWT=<?php echo round($avg_delay*500,0) ?>;</script>
</div>
</form>
<table id="result-tab" class="very basic center aligned table" style="white-space: nowrap; " id="table">
<thead>
<table id="result-tab" class="ui very basic center aligned table" style="white-space: nowrap; " id="table">
<thead>
<tr>
<th class='desktop-only item'><?php echo $MSG_RUNID?></th>
<th><?php echo $MSG_USER?></th>
@@ -87,11 +93,11 @@
<th ><?php echo $MSG_LANG?></th>
<th class='desktop-only item'><?php echo $MSG_CODE_LENGTH?></th>
<th ><?php echo $MSG_SUBMIT_TIME?></th>
<?php if (isset($_SESSION[$OJ_NAME.'_'.'administrator'])) {
<?php if (isset($_SESSION[$OJ_NAME.'_'.'administrator'])) {
echo "<th class='desktop-only item'>";
echo $MSG_JUDGER;
echo "</th>";
echo "<th class='desktop-only item'>操作</th>";
echo "<th class='desktop-only item'>操作</th>";
} ?>
</tr>
</thead>
@@ -100,42 +106,43 @@
</tr> -->
<?php
foreach($view_status as $row){
$i=0;
echo "<tr>";
foreach($row as $table_cell){
if ($i==4)
echo "<td class='td_result'>";
else if($i==0 || $i>7 && $i!=9)
echo "<td class='desktop-only item '>";
else
echo "<td>";
echo $table_cell;
echo "</td>";
$i++;
}
echo "</tr>\n";
$i=0;
echo "<tr>";
foreach($row as $table_cell){
if ($i==4)
echo "<td class='td_result'>";
else if($i==0 || $i>7 && $i!=9)
echo "<td class='desktop-only item '>";
else
echo "<td>";
echo $table_cell;
echo "</td>";
$i++;
}
echo "</tr>\n";
}
?>
</tbody>
</table>
<div style="margin-bottom: 30px; ">
<div style="text-align: center; ">
<div class="ui pagination menu" style="box-shadow: none; ">
<a class="icon item" href="<?php echo "status.php?".$str2;?>" id="page_prev">
<?php echo $MSG_HOME?>
Top
</a>
<?php
if (isset($_GET['prevtop']))
echo "<a class=\"item\" href=\"status.php?".$str2."&top=".intval($_GET['prevtop'])."\">上一页</a>";
echo "<a class=\"item\" href=\"status.php?".$str2."&top=".intval($_GET['prevtop'])."\">Prev</a>";
else
echo "<a class=\"item\" href=\"status.php?".$str2."&top=".($top+20)."\">上一页</a>";
echo "<a class=\"item\" href=\"status.php?".$str2."&top=".($top+20)."\">Prev</a>";
?>
<a class="icon item" href="<?php echo "status.php?".$str2."&top=".$bottom."&prevtop=$top"; ?>" id="page_next">
下一页
Next
</a>
</div>
</div>
@@ -154,10 +161,10 @@
echo "'$result',";
} ?>
''];
var oj_mark= <?php echo "'$OJ_MARK'";?>;
var user_id="<?php if (isset($_SESSION[$OJ_NAME."_user_id"])&& $OJ_FANCY_RESULT ) echo $_SESSION[$OJ_NAME."_user_id"]; ?>";
var oj_mark='<?php echo $OJ_MARK ?>';
var user_id="<?php if (isset($_SESSION[$OJ_NAME."_user_id"]) && $OJ_FANCY_RESULT ) echo $_SESSION[$OJ_NAME."_user_id"]; ?>";
var fancy_mp3="<?php if (isset($_SESSION[$OJ_NAME."_user_id"]) && $OJ_FANCY_RESULT ) echo $OJ_FANCY_MP3; ?>";
</script>
<script src="template/<?php echo $OJ_TEMPLATE?>/auto_refresh.js?v=0.52" ></script>
<script src="template/<?php echo $OJ_TEMPLATE?>/auto_refresh.js?v=0.522" ></script>
<?php include("template/$OJ_TEMPLATE/footer.php");?>