From b117f36e01deee68cbc6505c08f1c1c9b49cff77 Mon Sep 17 00:00:00 2001
From: klarkxy <278370456@qq.com>
Date: Sat, 19 Oct 2024 13:57:18 +0800
Subject: [PATCH] =?UTF-8?q?=E9=A2=98=E7=9B=AE=E5=88=97=E8=A1=A8=E4=B8=8B?=
 =?UTF-8?q?=E9=9D=A2=E7=AB=AF?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 web/problemset.php                |  1 +
 web/template/syzoj/problemset.php | 41 +++++++++++++++----------------
 2 files changed, 21 insertions(+), 21 deletions(-)

diff --git a/web/problemset.php b/web/problemset.php
index 79e5fef..67744dd 100644
--- a/web/problemset.php
+++ b/web/problemset.php
@@ -72,6 +72,7 @@ if (isset($_SESSION[$OJ_NAME . '_' . 'user_id'])) {
 	if (isset($_SESSION[$OJ_NAME . '_' . 'administrator']) && isset($_GET['query_user_id'])) {
 		$user_id = $_GET['query_user_id'];
 	}
+	// TODO 增加筛选题目的时候也要看学生的对错信息
 	$sql = "SELECT problem_id, MIN(result) AS result FROM solution WHERE user_id=? and result>=4 GROUP BY problem_id ";
 	$result = pdo_query($sql, $user_id);
 	foreach ($result as $row) {
diff --git a/web/template/syzoj/problemset.php b/web/template/syzoj/problemset.php
index b841ace..647307a 100644
--- a/web/template/syzoj/problemset.php
+++ b/web/template/syzoj/problemset.php
@@ -18,17 +18,17 @@
             </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 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>
-              <div class="results" style="width: 100%; "></div>
-            </div>
-          </form>
+            </form>
         <?php endif; ?>
 
       </div>
@@ -199,33 +199,32 @@
   </table><br>
   <?php if (!isset($_GET['list'])) { ?>
     <div style="margin-bottom: 30px; ">
-
-      <?php
-      if (!isset($page))
-        $page = 1;
-      $page = intval($page);
-      $section = 8;
-      $start = $page > $section ? $page - $section : 1;
-      $end = $page + $section > $view_total_page ? $view_total_page : $page + $section;
-      ?>
       <div style="text-align: center; ">
         <div class="ui pagination menu" style="box-shadow: none; ">
           <a class="<?php if ($page == 1)
             echo "disabled "; ?>icon item" href="<?php if ($page <> 1)
-                echo "problemset.php?page=" . ($page - 1) . htmlentities($postfix, ENT_QUOTES, 'UTF-8'); ?>"
-            id="page_prev">
-            <i class="left chevron icon"></i>
+                echo get_href(1, $postfix, $query_user_id); ?>" id="page_first">
+            <i class="angle double left icon"></i>
+          </a>
+          <a class="<?php if ($page == 1)
+            echo "disabled "; ?>icon item" href="<?php if ($page <> 1)
+                echo get_href($page - 1, $postfix, $query_user_id); ?>" id="page_prev">
+            <i class="angle left icon"></i>
           </a>
           <?php
           for ($i = $start; $i <= $end; $i++) {
-            echo "<a class=\"" . ($page == $i ? "active " : "") . "item\" href=\"problemset.php?page=" . $i . htmlentities($postfix, ENT_QUOTES, 'UTF-8') . "\">" . $i . "</a>";
+            echo "<a class=\"" . ($page == $i ? "active " : "") . "item\" href=\"" . get_href($i, $postfix, $query_user_id) . "\">" . $i . "</a>";
           }
           ?>
           <a class="<?php if ($page == $view_total_page)
             echo "disabled "; ?> icon item" href="<?php if ($page <> $view_total_page)
-                 echo "problemset.php?page=" . ($page + 1) . htmlentities($postfix, ENT_QUOTES, 'UTF-8'); ?>"
-            id="page_next">
-            <i class="right chevron icon"></i>
+                 echo get_href($page + 1, $postfix, $query_user_id); ?>" id="page_next">
+            <i class="angle right icon"></i>
+          </a>
+          <a class="<?php if ($page == $view_total_page)
+            echo "disabled "; ?> icon item" href="<?php if ($page <> $view_total_page)
+                 echo get_href($view_total_page, $postfix, $query_user_id); ?>" id="page_last">
+            <i class="angle double right icon"></i>
           </a>
         </div>
       </div>