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

改回原来的试试

Browse Source
This commit is contained in:
klarkxy
2025-05-10 16:29:56 +08:00
parent 712c9fbe57
commit cdfb67fb3f
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
web/include/db_info.inc.php
View File

@@ -85,7 +85,7 @@ static $OJ_RANK_HIDDEN="'admin','super','szx','sen'"; // 管理员不显示在
static $OJ_FRIENDLY_LEVEL=0; //系统友好级别，暂定0-9级，级别越高越傻瓜，系统易用度高的同时将降低安全性，仅供非专业用途，造成泄题、抄袭概不负责。 static $OJ_FRIENDLY_LEVEL=0; //系统友好级别，暂定0-9级，级别越高越傻瓜，系统易用度高的同时将降低安全性，仅供非专业用途，造成泄题、抄袭概不负责。
static $OJ_FREE_PRACTICE=true; //自由练习，不受比赛作业用题限制 static $OJ_FREE_PRACTICE=true; //自由练习，不受比赛作业用题限制
static $OJ_SUBMIT_COOLDOWN_TIME=1; //提交冷却时间，连续两次提交的最小间隔，单位秒。 static $OJ_SUBMIT_COOLDOWN_TIME=1; //提交冷却时间，连续两次提交的最小间隔，单位秒。
static $OJ_MARKDOWN='marked.js'; // 开启MARKDOWN，开启后在后台编辑题目时默认为源码模式，用[md] # Markdown [/md] 格式插入markdown代码, 如果需要用到[]也可以用<div class='md'> </div>。 static $OJ_MARKDOWN='markdown-it'; // 开启MARKDOWN，开启后在后台编辑题目时默认为源码模式，用[md] # Markdown [/md] 格式插入markdown代码, 如果需要用到[]也可以用<div class='md'> </div>。
static $OJ_INDEX_NEWS_TITLE='HelloWorld!'; // 在syzoj的首页显示哪一篇标题的文章（可以有多个相同标题） static $OJ_INDEX_NEWS_TITLE='HelloWorld!'; // 在syzoj的首页显示哪一篇标题的文章（可以有多个相同标题）
static $OJ_DIV_FILTER=true; // 过滤题面中的div，修复显示异常，特别是来自其他OJ系统的题面。 static $OJ_DIV_FILTER=true; // 过滤题面中的div，修复显示异常，特别是来自其他OJ系统的题面。
static $OJ_LIMIT_TO_1_IP=true; // 限制用户同一时刻只能在一个IP地址登录 static $OJ_LIMIT_TO_1_IP=true; // 限制用户同一时刻只能在一个IP地址登录

4
web/template/syzoj/problem.php
View File

@@ -513,7 +513,7 @@ if ($pr_flag) {
$(".md").each(function () { $(".md").each(function () {
<?php if (isset($OJ_MARKDOWN) && $OJ_MARKDOWN == "marked.js") { ?> <?php if (isset($OJ_MARKDOWN) && $OJ_MARKDOWN == "marked.js") { ?>
markdown_content = marked.parse($(this).html())); let markdown_content = marked.parse($(this).html());
<?php } else if (isset($OJ_MARKDOWN) && $OJ_MARKDOWN == "markdown-it") { ?> <?php } else if (isset($OJ_MARKDOWN) && $OJ_MARKDOWN == "markdown-it") { ?>
const md = window.markdownit(); const md = window.markdownit();
md.set({ md.set({
@@ -521,7 +521,7 @@ if ($pr_flag) {
linkify: true, linkify: true,
typographer: true, typographer: true,
}) })
markdown_content = md.render($(this).html()); let markdown_content = md.render($(this).html());
<?php } ?> <?php } ?>
$(this).html(markdown_content) $(this).html(markdown_content)
}); });