From 2cc9cd86a12892ea1b07623e98a09850014a6b26 Mon Sep 17 00:00:00 2001
From: Baoshuo <i@baoshuo.ren>
Date: Fri, 24 Feb 2023 15:34:18 +0800
Subject: [PATCH] fix(problem/statistics): title

---
 web/app/controllers/problem_statistics.php | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/web/app/controllers/problem_statistics.php b/web/app/controllers/problem_statistics.php
index efb44bf..2514213 100644
--- a/web/app/controllers/problem_statistics.php
+++ b/web/app/controllers/problem_statistics.php
@@ -54,9 +54,15 @@ for ($i = count($data) - 1; $i > 0; $i--) {
 }
 
 $submissions_sort_by_choice = !isset($_COOKIE['submissions-sort-by-code-length']) ? 'time' : 'tot_size';
+
+if (UOJContest::cur()) {
+	$PageTitle = UOJProblem::cur()->getTitle(['with' => 'letter', 'simplify' => true]);
+} else {
+	$PageTitle = UOJProblem::cur()->getTitle(['with' => 'id']);
+}
 ?>
 
-<?php echoUOJPageHeader(HTML::stripTags(UOJProblem::info('title')) . ' - ' . UOJLocale::get('problems::statistics')) ?>
+<?php echoUOJPageHeader($PageTitle . ' - ' . UOJLocale::get('problems::statistics')) ?>
 
 <div class="row">
 	<!-- left col -->