From 3f95886aa527d0b9bcc9ea0c2a0eb000ced1e9d6 Mon Sep 17 00:00:00 2001
From: klarkxy <278370456@qq.com>
Date: Fri, 11 Oct 2024 14:45:34 +0800
Subject: [PATCH] =?UTF-8?q?=E6=96=B0=E5=A2=9E=E5=88=B0=E7=AC=AC=E4=B8=80?=
 =?UTF-8?q?=E9=A1=B5=E5=92=8C=E5=88=B0=E6=9C=80=E5=90=8E=E4=B8=80=E9=A1=B5?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 web/template/syzoj/problemset.php | 316 ++++++++++++++++--------------
 1 file changed, 173 insertions(+), 143 deletions(-)

diff --git a/web/template/syzoj/problemset.php b/web/template/syzoj/problemset.php
index 280a61c..7bb3d50 100644
--- a/web/template/syzoj/problemset.php
+++ b/web/template/syzoj/problemset.php
@@ -1,16 +1,16 @@
-<?php $show_title="$MSG_PROBLEMS - $OJ_NAME"; ?>
-<?php include("template/$OJ_TEMPLATE/header.php");?>
+<?php $show_title = "$MSG_PROBLEMS - $OJ_NAME"; ?>
+<?php include("template/$OJ_TEMPLATE/header.php"); ?>
 <div class="padding">
 
   <div class="ui grid" style="margin-bottom: 10px; ">
     <div class="row" style="white-space: nowrap; ">
       <div class="seven wide column">
-          <form action="" method="get">
-            <div class="ui search" style="width: 280px; height: 28px; margin-top: -5.3px;float:left ">
-              <div class="ui left icon input" style="width: 100%; ">
-                <input class="prompt" style="width: 100%; " type="text" placeholder=" <?php echo $MSG_TITLE;?> …" name="search"
-		       value="<?php if(isset($_GET['search']))echo htmlentities($_GET['search'],ENT_QUOTES,'UTF-8') ?>"
-                >
+        <form action="" method="get">
+          <div class="ui search" style="width: 280px; height: 28px; margin-top: -5.3px;float:left ">
+            <div class="ui left icon input" style="width: 100%; ">
+              <input class="prompt" style="width: 100%; " type="text" placeholder=" <?php echo $MSG_TITLE; ?> …"
+                name="search" value="<?php if (isset($_GET['search']))
+                  echo htmlentities($_GET['search'], ENT_QUOTES, 'UTF-8') ?>">
 
                 <i class="search icon"></i>
               </div>
@@ -28,183 +28,213 @@
             </div>
           </form>
           <!-- 管理员用来显示指定用户的对错情况 -->
+        <?php if (isset($_SESSION[$OJ_NAME . '_' . 'administrator'])): ?>
           <form action="" method="get">
-            <div class="ui search" style="width: 280px; height: 28px; margin-top: -5.3px;float:left ">
+            <div class="ui search" style="width: 280px; height: 28px; margin-top: -5.3px;">
               <div class="ui left 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') ?>"
-                >
+                <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>
+                  <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>
 
 
       <div class="nine wide right aligned column">
-     
+
         <div class="ui toggle checkbox" id="show_tag">
           <style id="show_tag_style"></style>
           <script>
-          if (localStorage.getItem('show_tag') != '0') {
-            document.write('<input type="checkbox" checked>');
-            document.getElementById('show_tag_style').innerHTML = '.show_tag_controled { white-space: nowrap; overflow: hidden; }';
-          } else {
-            document.write('<input type="checkbox">');
-            document.getElementById('show_tag_style').innerHTML = '.show_tag_controled { width: 0; white-space: nowrap; overflow: hidden; }';
-          }
+            if (localStorage.getItem('show_tag') != '0') {
+              document.write('<input type="checkbox" checked>');
+              document.getElementById('show_tag_style').innerHTML = '.show_tag_controled { white-space: nowrap; overflow: hidden; }';
+            } else {
+              document.write('<input type="checkbox">');
+              document.getElementById('show_tag_style').innerHTML = '.show_tag_controled { width: 0; white-space: nowrap; overflow: hidden; }';
+            }
           </script>
 
           <script>
-          $(function () {
-            $('#show_tag').checkbox('setting', 'onChange', function () {
-              let checked = $('#show_tag').checkbox('is checked');
-              localStorage.setItem('show_tag', checked ? '1' : '0');
-              if (checked) {
-                document.getElementById('show_tag_style').innerHTML = '.show_tag_controled { white-space: nowrap; overflow: hidden; }';
-              } else {
-                document.getElementById('show_tag_style').innerHTML = '.show_tag_controled { width: 0; white-space: nowrap; overflow: hidden; }';
-              }
+            $(function () {
+              $('#show_tag').checkbox('setting', 'onChange', function () {
+                let checked = $('#show_tag').checkbox('is checked');
+                localStorage.setItem('show_tag', checked ? '1' : '0');
+                if (checked) {
+                  document.getElementById('show_tag_style').innerHTML = '.show_tag_controled { white-space: nowrap; overflow: hidden; }';
+                } else {
+                  document.getElementById('show_tag_style').innerHTML = '.show_tag_controled { width: 0; white-space: nowrap; overflow: hidden; }';
+                }
+              });
             });
-          });
           </script>
-          <label><?php echo $MSG_SHOW_TAGS;?></label>
-          
+          <label><?php echo $MSG_SHOW_TAGS; ?></label>
+
         </div>
         <div style="margin-left: 10px; display: inline-block; ">
-               <a style="margin-left: 10px; " href="category.php" class="ui labeled icon mini green button"><i class="plus icon"></i> <?php echo $MSG_SHOW_ALL_TAGS;?></a>
-          
+          <a style="margin-left: 10px; " href="category.php" class="ui labeled icon mini green button"><i
+              class="plus icon"></i> <?php echo $MSG_SHOW_ALL_TAGS; ?></a>
+
         </div>
 
       </div>
     </div>
   </div>
 
-<?php if (!isset($_GET['list'])){ ?>
+  <?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>
-    </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>";
+    <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;
+      function get_href($page, $postfix, $query_user_id)
+      {
+        return "problemset.php?page=" . $page .
+          htmlentities($postfix, ENT_QUOTES, 'UTF-8') .
+          "&query_user_id=" . $query_user_id;
       }
-    ?>
-    <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>
-    </a>  
-  </div>
-</div>
-</div>
-<?php } ?>
+      ?>
+      <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 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="left chevron icon"></i>
+          </a>
+          <?php
+          for ($i = $start; $i <= $end; $i++) {
+            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 get_href($page + 1, $postfix, $query_user_id); ?>" id="page_next">
+            <i class="right chevron 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>
+    </div>
+  <?php } ?>
 
 
   <table class="ui very basic center aligned table">
     <thead>
       <tr>
 
-        <?php if (isset($_SESSION[$OJ_NAME.'_'.'user_id'])){?>
-          <th class="one wide"><?php echo $MSG_STATUS?></th>
+        <?php if (isset($_SESSION[$OJ_NAME . '_' . 'user_id'])) { ?>
+          <th class="one wide"><?php echo $MSG_STATUS ?></th>
         <?php } ?>
-        <th class="one wide"><?php echo $MSG_PROBLEM_ID?></th>
-        <th class="left aligned"><?php echo $MSG_TITLE?></th>
-        <th class="one wide"><?php echo $MSG_SOVLED."/".$MSG_SUBMIT?></th>
-        
-        <th class="one wide"><?php echo $MSG_PASS_RATE?></th>
+        <th class="one wide"><?php echo $MSG_PROBLEM_ID ?></th>
+        <th class="left aligned"><?php echo $MSG_TITLE ?></th>
+        <th class="one wide"><?php echo $MSG_SOVLED . "/" . $MSG_SUBMIT ?></th>
+
+        <th class="one wide"><?php echo $MSG_PASS_RATE ?></th>
       </tr>
     </thead>
     <tbody>
-    <?php
-          $color=array("blue","teal","orange","pink","olive","red","yellow","green","purple");
-          $tcolor=0;
-          $i=0;
-          foreach ($result as $row){
-		echo "<tr>";
-            if (isset($_SESSION[$OJ_NAME.'_'.'user_id'])){
+      <?php
+      $color = array("blue", "teal", "orange", "pink", "olive", "red", "yellow", "green", "purple");
+      $tcolor = 0;
+      $i = 0;
+      foreach ($result as $row) {
+        echo "<tr>";
+        if (isset($_SESSION[$OJ_NAME . '_' . 'user_id'])) {
 
-              if (isset($sub_arr[$row['problem_id']])){
-                if (isset($acc_arr[$row['problem_id']])) 
-                  echo "<td><span class=\"status accepted\"><i class=\"checkmark icon\"></i></span></td>";
-                else 
-                  echo "<td><span class=\"status wrong_answer\"><i class=\"remove icon\"></i></span></td>";
-              }else{
-                echo "<td><span class=\"status\"><i class=\"icon\"></i></span></td>";
-              }
-            }
-
-             echo  "<td><b>".$row['problem_id']."</b></td>";
-             echo "<td class=\"left aligned\">";
-             echo "<a style=\"vertical-align: middle; \" href=\"problem.php?id=".$row['problem_id']."\">";
-             echo $row['title'];
-             echo "</a>";
-             if($row['defunct']=='Y')
-              {echo "<a href=admin/problem_df_change.php?id=".$row['problem_id']."&getkey=".$_SESSION[$OJ_NAME.'_'.'getkey'].">".("<span class=\"ui tiny red label\">未公开</span>")."</a>";}
-
-              echo "<div class=\"show_tag_controled\" style=\"float: right; \">";
-              //echo "<span class=\"ui header\">";
-              echo  $view_problemset[$i][3];
-              //echo "</span></div>";
-	      echo "</div>";
-            echo "</td>";
-          echo "<td><a href=\"status.php?problem_id=".$row['problem_id']."&jresult=4\">".$row['accepted']."/".$row['submit']."</a></td>";
-           // echo "<td><a href='status.php?problem_id=".$row['problem_id']."'>".$row['submit']."</a></td>";
-            if ($row['submit'] == 0) {
-    echo '<td><div class="progress" style="margin-bottom:-20px; "><div class="progress-bar progress-bar-danger" role="progressbar" aria-valuenow="0" aria-valuemin="0" aria-valuemax="100" style="width:0%;">0.000%</div></div></td>';
-} else {
-    $percentage = round(100 * $row['accepted'] / $row['submit'], 3);
-    echo '<td><div class="progress" style="margin-bottom:-20px;"><div class="progress-bar progress-bar-success progress-bar-striped" role="progressbar" aria-valuenow="'.$percentage.'" aria-valuemin="0" aria-valuemax="100" style="width:'.$percentage.'%;">'.$percentage.'%</div></div></td>';
-}
-            echo  "</tr>";
-            $i++;
+          if (isset($sub_arr[$row['problem_id']])) {
+            if (isset($acc_arr[$row['problem_id']]))
+              echo "<td><span class=\"status accepted\"><i class=\"checkmark icon\"></i></span></td>";
+            else
+              echo "<td><span class=\"status wrong_answer\"><i class=\"remove icon\"></i></span></td>";
+          } else {
+            echo "<td><span class=\"status\"><i class=\"icon\"></i></span></td>";
           }
-        ?>
+        }
+
+        echo "<td><b>" . $row['problem_id'] . "</b></td>";
+        echo "<td class=\"left aligned\">";
+        echo "<a style=\"vertical-align: middle; \" href=\"problem.php?id=" . $row['problem_id'] . "\">";
+        echo $row['title'];
+        echo "</a>";
+        if ($row['defunct'] == 'Y') {
+          echo "<a href=admin/problem_df_change.php?id=" . $row['problem_id'] . "&getkey=" . $_SESSION[$OJ_NAME . '_' . 'getkey'] . ">" . ("<span class=\"ui tiny red label\">未公开</span>") . "</a>";
+        }
+
+        echo "<div class=\"show_tag_controled\" style=\"float: right; \">";
+        //echo "<span class=\"ui header\">";
+        echo $view_problemset[$i][3];
+        //echo "</span></div>";
+        echo "</div>";
+        echo "</td>";
+        echo "<td><a href=\"status.php?problem_id=" . $row['problem_id'] . "&jresult=4\">" . $row['accepted'] . "/" . $row['submit'] . "</a></td>";
+        // echo "<td><a href='status.php?problem_id=".$row['problem_id']."'>".$row['submit']."</a></td>";
+        if ($row['submit'] == 0) {
+          echo '<td><div class="progress" style="margin-bottom:-20px; "><div class="progress-bar progress-bar-danger" role="progressbar" aria-valuenow="0" aria-valuemin="0" aria-valuemax="100" style="width:0%;">0.000%</div></div></td>';
+        } else {
+          $percentage = round(100 * $row['accepted'] / $row['submit'], 3);
+          echo '<td><div class="progress" style="margin-bottom:-20px;"><div class="progress-bar progress-bar-success progress-bar-striped" role="progressbar" aria-valuenow="' . $percentage . '" aria-valuemin="0" aria-valuemax="100" style="width:' . $percentage . '%;">' . $percentage . '%</div></div></td>';
+        }
+        echo "</tr>";
+        $i++;
+      }
+      ?>
 
 
 
     </tbody>
   </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>
-    </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>";
-      }
-    ?>
-    <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>
-    </a>  
-  </div>
-</div>
-<?php } ?>
-<script type="text/javascript" src="include/jquery.tablesorter.js"></script>
+  <?php if (!isset($_GET['list'])) { ?>
+    <div style="margin-bottom: 30px; ">
 
-</div>
-<?php include("template/$OJ_TEMPLATE/footer.php");?>
-   
+      <?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>
+          </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>";
+          }
+          ?>
+          <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>
+          </a>
+        </div>
+      </div>
+    <?php } ?>
+    <script type="text/javascript" src="include/jquery.tablesorter.js"></script>
+
+  </div>
+  <?php include("template/$OJ_TEMPLATE/footer.php"); ?>
\ No newline at end of file