From 0049aa538c052d395ad6a3aeb48a15b06fda64b0 Mon Sep 17 00:00:00 2001
From: klarkxy <278370456@qq.com>
Date: Sun, 2 Mar 2025 16:55:28 +0800
Subject: [PATCH] =?UTF-8?q?=E5=A2=9E=E5=8A=A0=E4=BB=8Edemos=E6=96=87?=
 =?UTF-8?q?=E4=BB=B6=E5=A4=B9=E5=AF=BC=E5=85=A5=E6=89=80=E6=9C=89=E6=95=99?=
 =?UTF-8?q?=E7=A8=8B?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 web/template/syzoj/demoset.php | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/web/template/syzoj/demoset.php b/web/template/syzoj/demoset.php
index b4ecc85..72a58c8 100644
--- a/web/template/syzoj/demoset.php
+++ b/web/template/syzoj/demoset.php
@@ -2,7 +2,20 @@
 <?php include("template/$OJ_TEMPLATE/header.php"); ?>
 <div class="padding">
 
-    <script type="text/javascript" src="include/jquery.tablesorter.js"></script>
+<script type="text/javascript" src="include/react/react.min.js"></script>
+<script type="text/javascript" src="include/react/react-dom.min.js"></script>
+
+<?php
+// 遍历demos文件夹下的所有php文件
+$directory = new DirectoryIterator(dirname(__FILE__) . '/demos');
+$files = [];
+
+foreach ($directory as $fileinfo) {
+  if ($fileinfo->isFile() && $fileinfo->getExtension() == 'html') {
+    $files[] = $fileinfo->getFilename();
+  }
+}
+?>
 
   </div>
   <?php include("template/$OJ_TEMPLATE/footer.php"); ?>
\ No newline at end of file