This commit is contained in:
Baoshuo Ren 2022-09-23 08:03:55 +08:00
parent dedc5c6e94
commit 3bf24bbbb9
Signed by: baoshuo
GPG Key ID: 00CB9680AB29F51A

View File

@ -74,9 +74,9 @@
echo '<td>' . getUserLink($username) . '</td>';
foreach ($problem_ids as $problem_id) {
if (!isset($finished[$username]) || !isset($finished[$username][$problem_id])) {
echo '<td class="failed"><span class="glyphicon glyphicon-ok"></span></td>';
echo '<td class="failed"><span class="glyphicon glyphicon-remove"></span></td>';
} else {
echo '<td class="success"><span class="glyphicon glyphicon-remove"></span></td>';
echo '<td class="success"><span class="glyphicon glyphicon-ok"></span></td>';
}
}
echo '</tr>';