feat(web): Replace highlight by prism

Author: aberter0x3f

web/app/controllers/faq.php

@@ -1,7 +1,7 @@
 <?php
-	requireLib('hljs');
+	requireLib('prism');
 	requireLib('mathjax');
-	echoUOJPageHeader(UOJLocale::get('help')) 
+	echoUOJPageHeader(UOJLocale::get('help'))
 ?>
 <article>
 	<header>
@@ -125,37 +125,35 @@
 					<hr /><p><code>数学公式萌萌哒 $(a + b)^2$ 萌萌哒</code> = 数学公式萌萌哒 $(a + b)^2$ 萌萌哒</p>
 					<hr /><p><code>&lt;!-- readmore --&gt;</code> = 在外面看这篇博客时会到此为止然后显示一个“阅读更多”字样</p>
 					<hr /><p>来个更大的例子：</p>
-					<pre>
-					```c++
-					#include &lt;iostream&gt;
-					```
+					<pre>```cpp
+#include &lt;iostream&gt;
+```
 
-					```c
-					#include &lt;stdio.h&gt;
-					```
+```c
+#include &lt;stdio.h&gt;
+```
 
-					```pascal
-					begin
-					```
+```pascal
+begin
+```
 
-					```python
-					print '<?= UOJConfig::$data['profile']['oj-name-short'] ?>'
-					```
+```python
+print('<?= UOJConfig::$data['profile']['oj-name-short'] ?>')
+```
 
-					\begin{equation}
-					\frac{-b + \sqrt{b^2 - 4ac}}{2a}
-					\end{equation}
+\begin{equation}
+\frac{-b + \sqrt{b^2 - 4ac}}{2a}
+\end{equation}
 
-					# 一级标题
-					## 二级标题
-					### 三级标题
-					#### 四级标题
-					</pre>
+# 一级标题
+## 二级标题
+### 三级标题
+#### 四级标题</pre>
 					<p>会转换为：</p>
-					<pre><code class="sh_cpp">#include &lt;iostream&gt;</code></pre>
-					<pre><code class="sh_c">#include &lt;stdio.h&gt;</code></pre>
-					<pre><code class="sh_pascal">begin</code></pre>
-					<pre><code class="sh_python">print '<?= UOJConfig::$data['profile']['oj-name-short'] ?>'</code></pre>
+					<pre><code class="language-cpp">#include &lt;iostream&gt;</code></pre>
+					<pre><code class="language-c">#include &lt;stdio.h&gt;</code></pre>
+					<pre><code class="language-pascal">begin</code></pre>
+					<pre><code class="language-python">print('<?= UOJConfig::$data['profile']['oj-name-short'] ?>')</code></pre>
 					<p>\begin{equation}
 					\frac{-b + \sqrt{b^2 - 4ac}}{2a}
 					\end{equation}</p>

web/app/controllers/hack.php

@@ -1,10 +1,10 @@
 <?php
 	requirePHPLib('form');
-	
+
 	if (!validateUInt($_GET['id']) || !($hack = queryHack($_GET['id']))) {
 		become404Page();
 	}
-	$submission = querySubmission($hack['submission_id']);	
+	$submission = querySubmission($hack['submission_id']);
 	$problem = queryProblemBrief($submission['problem_id']);
 	$problem_extra_config = getProblemExtraConfig($problem);
 
@@ -18,7 +18,7 @@
 	if (!isHackVisibleToUser($hack, $problem, $myUser)) {
 		become403Page();
 	}
-	
+
 	if (isSuperUser($myUser)) {
 		$delete_form = new UOJForm('delete');
 		$delete_form->handle = function() {
@@ -32,7 +32,7 @@
 		$delete_form->succ_href = "/hacks";
 		$delete_form->runAtServer();
 	}
-	
+
 	$should_show_content = hasViewPermission($problem_extra_config['view_content_type'], $myUser, $problem, $submission);
 	$should_show_all_details = hasViewPermission($problem_extra_config['view_all_details_type'], $myUser, $problem, $submission);
 	$should_show_details = hasViewPermission($problem_extra_config['view_details_type'], $myUser, $problem, $submission);
@@ -44,7 +44,7 @@
 		|| !isHackFullVisibleToUser($hack, $contest, $problem, $myUser)) {
 		$should_show_content = $should_show_all_details = false;
 	}
-	
+
 	if ($should_show_all_details) {
 		$styler = new HackDetailsStyler();
 		if (!$should_show_details) {
@@ -54,7 +54,7 @@
 	}
 ?>
 <?php
-	$REQUIRE_LIB['hljs'] = "";
+	$REQUIRE_LIB['prism'] = "";
 ?>
 <?php echoUOJPageHeader(UOJLocale::get('problems::hack').' #'.$hack['id']) ?>
 

web/app/controllers/map_visualizer.php

@@ -1,6 +1,5 @@
 <?php
 
-$REQUIRE_LIB['shjs'] = "";
 $REQUIRE_LIB['dracula'] = "";
 $REQUIRE_LIB['base64'] = "";
 $REQUIRE_LIB['raphael'] = "";
@@ -129,4 +128,4 @@
 </script>
 
 <?php
-echoUOJPageFooter();
+echoUOJPageFooter();

web/app/controllers/paste_view.php

@@ -6,7 +6,7 @@
 if (!$paste) {
 	become404Page();
 }
-$REQUIRE_LIB['shjs'] = "";
+$REQUIRE_LIB['prism'] = "";
 echoUOJPageHeader("Paste!");
 echoPasteContent($paste);
-echoUOJPageFooter();
+echoUOJPageFooter();

web/app/controllers/problem.php

@@ -1,13 +1,13 @@
 <?php
 	requirePHPLib('form');
 	requirePHPLib('judger');
-	
+
 	if (!validateUInt($_GET['id']) || !($problem = queryProblemBrief($_GET['id']))) {
 		become404Page();
 	}
-	
+
 	$problem_content = queryProblemContent($problem['id']);
-	
+
 	$contest = validateUInt($_GET['contest_id']) ? queryContest($_GET['contest_id']) : null;
 	if ($contest != null) {
 		genMoreContestInfo($contest);
@@ -18,7 +18,7 @@
 			$problem_letter = chr(ord('A') + $problem_rank - 1);
 		}
 	}
-	
+
 	$is_in_contest = false;
 	$ban_in_contest = false;
 	if ($contest != null) {
@@ -75,17 +75,17 @@
 		}
 		die();
 	}
-	
+
 	$can_use_zip_upload = true;
 	foreach ($submission_requirement as $req) {
 		if ($req['type'] == 'source code') {
 			$can_use_zip_upload = false;
 		}
 	}
-	
+
 	function handleUpload($zip_file_name, $content, $tot_size) {
 		global $problem, $contest, $myUser, $is_in_contest;
-		
+
 		$content['config'][] = array('problem_id', $problem['id']);
 		if ($is_in_contest && $contest['extra_config']["contest_type"]!='IOI' && !isset($contest['extra_config']["problem_{$problem['id']}"])) {
 			$content['final_test_config'] = $content['config'];
@@ -104,11 +104,11 @@ function handleUpload($zip_file_name, $content, $tot_size) {
 			Cookie::set('uoj_preferred_language', $language, time() + 60 * 60 * 24 * 365, '/');
 		}
 		$esc_language = DB::escape($language);
- 		
+
 		$result = array();
 		$result['status'] = "Waiting";
 		$result_json = json_encode($result);
-		
+
 		if ($is_in_contest) {
 			DB::query("insert into submissions (problem_id, contest_id, submit_time, submitter, content, language, tot_size, status, result, is_hidden) values (${problem['id']}, ${contest['id']}, now(), '${myUser['username']}', '$esc_content', '$esc_language', $tot_size, '${result['status']}', '$result_json', 0)");
 		} else {
@@ -117,7 +117,7 @@ function handleUpload($zip_file_name, $content, $tot_size) {
 	}
 	function handleCustomTestUpload($zip_file_name, $content, $tot_size) {
 		global $problem, $contest, $myUser;
-		
+
 		$content['config'][] = array('problem_id', $problem['id']);
 		$content['config'][] = array('custom_test', 'on');
 		$esc_content = DB::escape(json_encode($content));
@@ -133,14 +133,14 @@ function handleCustomTestUpload($zip_file_name, $content, $tot_size) {
 			Cookie::set('uoj_preferred_language', $language, time() + 60 * 60 * 24 * 365, '/');
 		}
 		$esc_language = DB::escape($language);
- 		
+
 		$result = array();
 		$result['status'] = "Waiting";
 		$result_json = json_encode($result);
-		
+
 		DB::insert("insert into custom_test_submissions (problem_id, submit_time, submitter, content, status, result) values ({$problem['id']}, now(), '{$myUser['username']}', '$esc_content', '{$result['status']}', '$result_json')");
 	}
-	
+
 	if ($can_use_zip_upload) {
 		$zip_answer_form = newZipSubmissionForm('zip_answer',
 			$submission_requirement,
@@ -156,7 +156,7 @@ function handleCustomTestUpload($zip_file_name, $content, $tot_size) {
 		$zip_answer_form->succ_href = $is_in_contest ? "/contest/{$contest['id']}/submissions" : '/submissions';
 		$zip_answer_form->runAtServer();
 	}
-	
+
 	$answer_form = newSubmissionForm('answer',
 		$submission_requirement,
 		'uojRandAvailableSubmissionFileName',
@@ -204,7 +204,7 @@ function(response_text) {custom_test_onsubmit(response_text, $('#div-custom_test
 ?>
 <?php
 	$REQUIRE_LIB['mathjax'] = '';
-	$REQUIRE_LIB['hljs'] = '';
+	$REQUIRE_LIB['prism'] = '';
 ?>
 <?php echoUOJPageHeader(HTML::stripTags($problem['title']) . ' - ' . UOJLocale::get('problems::problem')) ?>
 <?php

web/app/controllers/subdomain/blog/archive.php

@@ -1,32 +1,32 @@
 <?php
 	requirePHPLib('form');
-	
+
 	$blogs_cond = "poster = '".UOJContext::userid()."' and is_draft = false";
 	if (!UOJContext::hasBlogPermission()) {
 		$blogs_cond .= " and is_hidden = false";
 	}
-	
+
 	$display_blogs_cond = $blogs_cond;
-	
+
 	if (isset($_GET['tag'])) {
 		$blog_tag_required = $_GET['tag'];
 		$display_blogs_cond .= " and '".DB::escape($blog_tag_required)."' in (select tag from blogs_tags where blogs_tags.blog_id = blogs.id)";
 	} else {
 		$blog_tag_required = null;
 	}
-	
+
 	$blogs_pag = new Paginator(array(
 		'col_names' => array('*'),
 		'table_name' => 'blogs',
 		'cond' => $display_blogs_cond,
 		'tail' => 'order by post_time desc',
 		'page_len' => 10
 	));
-	
+
 	$all_tags = DB::selectAll("select distinct tag from blogs_tags where blog_id in (select id from blogs where $blogs_cond)");
-	
+
 	requireLib('mathjax');
-	requireLib('hljs');
+	requireLib('prism');
 ?>
 <?php echoUOJPageHeader('日志') ?>
 
@@ -75,7 +75,7 @@
 			<?php endforeach ?>
 			<?php endif ?>
 		<?php endif ?>
-		
+
 		<?= $blogs_pag->pagination() ?>
 	</div>
 </div>