合并搜索框功能

web/problemset.php

@@ -72,7 +72,7 @@ if (isset($_SESSION[$OJ_NAME . '_' . 'user_id'])) {
 	if (isset($_SESSION[$OJ_NAME . '_' . 'administrator']) && isset($_GET['query_user_id'])) {
 		$user_id = $_GET['query_user_id'];
 	}
-	// TODO 增加筛选题目的时候也要看学生的对错信息
+	// 增加筛选题目的时候也要看学生的对错信息
 	$sql = "SELECT problem_id, MIN(result) AS result FROM solution WHERE user_id=? and result>=4 GROUP BY problem_id ";
 	$result = pdo_query($sql, $user_id);
 	foreach ($result as $row) {