';
echo '
'.get_string('programmingjudgestatus', 'block_programming_judge_status').'
';
$table = new flexible_table('programming-judge-status');
$table->define_columns(array('number', 'user', 'name', 'result', 'timeused', 'memused', 'time'));
$table->define_headers(array(
get_string('no.', 'block_programming_judge_status'),
get_string('who', 'block_programming_judge_status'),
get_string('which', 'block_programming_judge_status'),
get_string('result', 'block_programming_judge_status'),
get_string('timeused', 'block_programming_judge_status'),
get_string('memused', 'block_programming_judge_status'),
get_string('submittime', 'block_programming_judge_status'),
));
$table->set_attribute('cellspacing', '1');
$table->set_attribute('cellpadding', '3');
$table->set_attribute('id', 'programming-judge-status');
$table->set_attribute('class', 'generaltable generalbox');
$table->set_attribute('align', 'center');
$table->define_baseurl($CFG->wwwroot.'/blocks/programming_judge_status/fulllist.php?id='.$id);
$table->pagesize($perpage, min(10000, $totalcount));
$table->setup();
$i = $totalcount - $page * $perpage;
if ($tops) {
foreach ($tops as $t) {
$table->add_data(array(
$i--,
has_capability('block/programming_judge_status:view') ? '
'.fullname($t->user).'' : '???',
"
".$t->globalid.'.'.$t->pname.'',
"
$t->judgeresult",
isset($t->timeused) ? sprintf('%6.3f', $t->timeused) : '',
isset($t->memused) ? $t->memused : '',
userdate($t->timemodified, '%Y-%m-%d %H:%M:%S'),
));
}
}
$table->print_html();
echo '