75 | | |
76 | | |
77 | | |
78 | | |
79 |
80 | | |
81 |
82 | | |
83 | | |
84 | | |
85 | | |
86 | 0");
88 | $number=mysqli_num_rows($failed);
89 | echo '',_('Failed'),"($number)",' | ';
90 | while($row=mysqli_fetch_row($failed))
91 | echo '',$row[0],' ';
92 | echo ' |
';
93 | $solved=mysqli_query($con,"select problem_id from solution where result=0 and user_id='$user' group by problem_id");
94 | $number=mysqli_num_rows($solved);
95 | echo '',_('Solved'),"($number)",' | ';
96 | while($row=mysqli_fetch_row($solved))
97 | echo '',$row[0],' ';
98 | echo ' |
';
99 | ?>
100 |
101 |