public $n;

public $sum;

public $sumsq;

public $byg;

public $series;

public $cdf;

private $calculated;

public function __construct() {

$this->n = $this->sum = $this->sumsq = 0;

$this->byg = $this->series = array();

$this->calculated = false;

}

public function add($g) {

$this->series[] = $g;

$this->byg[$g] = @($this->byg[$g] + 1);

$this->n += 1;

$this->sum += $g;

$this->sumsq += $g * $g;

$this->calculated = false;

}

private function calculate() {

sort($this->series);

ksort($this->byg, SORT_NUMERIC);

$this->cdf = array();

$subtotal = 0;

foreach ($this->byg as $k => $v) {

$subtotal += $v;

$this->cdf[] = $k;

$this->cdf[] = $subtotal;

}

$this->calculated = true;

}

public function summary() {

if (!$this->calculated)

$this->calculate();

$r = (object) array("n" => $this->n, "cdf" => $this->cdf);

if ($this->n != 0) {

$r->mean = $this->sum / $this->n;

$halfn = (int) ($this->n / 2);

if ($this->n % 2 == 0)

$r->median = ($this->series[$halfn-1] + $this->series[$halfn]) / 2.0;

else

$r->median = $this->series[$halfn];

if ($this->n > 1)

$r->stddev = sqrt(($this->sumsq - $this->sum * $this->sum / $this->n) / ($this->n - 1));

else

$r->stddev = 0;

}

return $r;

}

static public function truncate_summary_below($r, $cutoff) {

$cx = $cutoff * $r->n;

for ($i = 0; $i < count($r->cdf) && $r->cdf[$i+1] < $cx; $i += 2)

/* nada */;

if ($i != 0) {

$r->cdf = array_slice($r->cdf, $i);

$r->cutoff = $cutoff;

}

}

$grades = array();

foreach ($pset->grades as $ge)

if (isset($values[$ge->name])) {

$g = trim($values[$ge->name]);

if ($g === "")

$grades[$ge->name] = null;

else if (preg_match('_\A(?:0|[1-9]\d*)\z_', $g))

$grades[$ge->name] = intval($g);

else if (preg_match('_\A(?:0||[1-9]\d*)(?:\.\d*)?\z_', $g))

$grades[$ge->name] = floatval($g);

}

$key = $isauto ? "autogrades" : "grades";

if (count($grades) && $pset->gitless_grades)

$user->update_contact_grade($pset, array($key => $grades));

else if (count($grades))

$info->update_commit_info(array($key => $grades));

return count($grades);

global $Conf;

assert($pset->gitless_grades);

$csv = new CsvParser($text);

$csv->set_header($csv->next());

while (($line = $csv->next())) {

if (@$line["seascode_username"]) {

$who = $line["seascode_username"];

$user = Contact::find_by_username($who);

} else if (@$line["email"]) {

$who = $line["email"];

$user = Contact::find_by_email($who);

} else if (@$line["name"]) {

$who = $line["name"];

list($first, $last) = Text::split_name($who);

$user = Contact::find_by_query("firstName like '" . sqlqtrim($first) . "%' and lastName='" . sqlqtrim($last) . "'");

if ($user && $user->firstName != $first

&& !str_starts_with($user->firstName, "$first "))

$user = null;

} else

continue;

if ($user) {

if (!save_grades($user, $pset, null, $line, true))

$Conf->errorMsg("no grades set for “" . htmlspecialchars($who) . "”");

} else

$Conf->errorMsg(htmlspecialchars($fname) . ":" . $csv->lineno() . ": unknown user “" . htmlspecialchars($who) . "”");

}

return true;

global $Conf;

$result = $Conf->qe("select c.contactId, c.firstName, c.lastName, c.email,

c.huid, c.anon_username, c.seascode_username, c.extension, pl.link

from ContactInfo c

left join ContactLink pl on (pl.cid=c.contactId and pl.type=" . LINK_PARTNER . " and pl.pset=$pset->id)

where (c.roles&" . Contact::ROLE_PCLIKE . ")=0 and not c.dropped

group by c.contactId");

$students = array();

while ($result && ($s = $result->fetch_object("Contact"))) {

$s->is_anonymous = $user->is_anonymous;

Contact::set_sorter($s, @$_REQUEST["sort"]);

$students[$s->contactId] = $s;

}

uasort($students, "Contact::compare");

$links = array(null, null);

$pos = 0;

$uid = is_object($user) ? $user->contactId : $user;

// mark user's partner as visited

if (($s = @$students[$uid]) && $s->link && ($ss = @$students[$s->link]))

$ss->visited = true;

foreach ($students as $s) {

if ($s->contactId == $uid)

$pos = 1;

else if (!@$s->visited) {

$links[$pos] = $s;

if ($pos)

break;

$s->visited = true;

if ($s->link && ($ss = @$students[$s->link]))

$ss->visited = true;

}

}

if ($pos == 0)

$links[0] = null;

return $links;

global $TABWIDTH;

while (($p = strpos($t, "\t")) !== false)

$t = substr($t, 0, $p) . str_repeat(" ", $TABWIDTH - ($p % $TABWIDTH)) . substr($t, $p + 1);

return str_replace(" ", " &nbsp;", htmlspecialchars($t));

global $Pset, $Me, $User, $Info;

if (!is_array($note))

$note = array(false, $note);

if (!$Me->isPC || $Me == $User || $displayed) {

if ($Info->can_see_grades || $note[0]) {

echo '<tr class="diffl61 gw">', /* NB script depends on this class */

'<td colspan="2" class="difflnoteborder61"></td>',

'<td class="difflnote61">';

if ($lnorder) {

$links = array();

//list($pfile, $plineid) = $lnorder->get_prev($file, $lineid);

//if ($pfile)

// $links[] = '<a href="#L' . $plineid . '_'

// . html_id_encode($pfile) . '">&larr; Prev</a>';

list($nfile, $nlineid) = $lnorder->get_next($file, $lineid);

if ($nfile)

$links[] = '<a href="#L' . $nlineid . '_'

. html_id_encode($nfile) . '">Next &gt;</a>';

else

$links[] = '<a href="#">Top</a>';

if (count($links))

echo '<div class="difflnoteptr61">',

join("&nbsp;&nbsp;&nbsp;", $links) , '</div>';

}

echo '<div class="note61',

($note[0] ? ' commentnote' : ' gradenote'),

'">', htmlspecialchars($note[1]), '</div>',

'<div class="clear"></div></td></tr>';

}

return;

}

echo '<tr class="diffl61 gw',

($note[0] ? ' isgrade61' : ' iscomment61'),

'" savednote61="', htmlspecialchars($note[1]), '">', /* NB script depends on this class */

'<td colspan="2" class="difflnoteborder61"></td>',

'<td class="difflnote61">',

'<div class="diffnoteholder61"',

($displayed ? "" : " style=\"display:none\""), ">",

Ht::form($Info->hoturl_post("pset", array("savelinenote" => 1)),

array("onsubmit" => "return savelinenote61(this)")),

"<div class=\"f-contain\">",

Ht::hidden("file", $file),

Ht::hidden("line", $lineid),

Ht::hidden("iscomment", "", array("class" => "iscomment")),

"<textarea class=\"diffnoteentry61\" name=\"note\">", htmlspecialchars($note[1]), "</textarea><br />";

echo Ht::submit("Comment", array("onclick" => "return setiscomment61(this,1)")),

' ', Ht::submit("Grade", array("onclick" => "return setiscomment61(this,'')")),

'<span class="ajaxsave61"></span>',

"</div></form></div></td></tr>";

global $Conf, $Info, $Pset, $User, $Me;

$sepx = $User->extension && $Pset->separate_extension_grades;

$xmark = $sepx ? "extension " : "";

echo '<div id="gradecdf61" style="float:right;position:relative">',

'<table class="gradecdf61table"><tbody><tr>',

'<td class="yaxislabelcontainer"></td>',

'<td class="plot"><div style="width:300px;height:200px"></div></td>',

'</tr><tr><td></td><td class="xaxislabelcontainer"></td></tr>',

'</tbody></table>',

'<table class="gradecdf61summary', ($sepx ? " extension" : " all"), '"><tbody>',

'<tr class="gradecdf61mean"><td class="cap">', $xmark, ' mean</td><td class="val"></td></tr>',

'<tr class="gradecdf61median"><td class="cap">', $xmark, ' median</td><td class="val"></td></tr>',

'<tr class="gradecdf61stddev"><td class="cap">', $xmark, ' stddev</td><td class="val"></td></tr>',

'</tbody></table>',

'</div>';

$Conf->footerScript("gradecdf61(\"" . $Info->hoturl("pset", array("gradecdf" => 1)) . "\")");

global $User, $Me, $Info;

$key = $ge->name;

$grade = $autograde = null;

$title = isset($ge->title) ? $ge->title : $key;

$Notes = $Info->commit_or_grading_info();

if (@$Notes->autogrades && property_exists($Notes->autogrades, $key))

$grade = $autograde = $Notes->autogrades->$key;

if (@$Notes->grades && property_exists($Notes->grades, $key))

$grade = $Notes->grades->$key;

if (!$Info->can_see_grades

|| ($User == $Me && $grade === null && $ge->is_extra))

return;

$class = "grader61" . ($ge->no_total ? "" : " gradepart");

if ($User == $Me) {

$value = '<span class="' . $class . '" name61="' . $ge->name . '">' . htmlspecialchars(+$grade) . '</span>';

if ($ge->max && !$ge->hide_max)

$value .= ' <span class="grademax61">of ' . htmlspecialchars($ge->max) . '</span>';

} else {

$value = '<span class="gradeholder61">'

. Ht::entry($key, $grade, array("onchange" => "jQuery(this).closest('form').submit()", "class" => $class))

. '</span>';

if ($ge->max)

$value .= ' <span class="grademax61" style="display:inline-block;min-width:3.5em">of ' . htmlspecialchars($ge->max) . '</span>';

$value .= " " . Ht::submit("Save", array("tabindex" => 1));

$value .= ' <span class="ajaxsave61"></span>';

if ($autograde && $autograde !== $grade)

$value .= ' <span class="autograde61">autograde is ' . htmlspecialchars($autograde) . '</span>';

}

$remarks = array();

if ($grade !== null && $ge->max && $grade > $ge->max && $User != $Me)

$remarks[] = array(true, "Grade is above max");

if ($User != $Me)

echo Ht::form($Info->hoturl_post("pset", array("setgrade" => 1)),

array("onsubmit" => "return gradesubmit61(this)")),

"<div class=\"f-contain\">";

ContactView::echo_group($title, $value, $remarks, array("nowrap" => true));

if ($User != $Me)

echo "</div></form>";

global $User, $Me, $Pset, $Info;

if ($Info->can_see_grades && $gj && @$gj->grades && $gj->nentries > 1) {

$value = '<span class="gradetotal61">' . $gj->grades->total . '</span>';

if ($Me != $User)

$value = '<span class="gradeholder61">' . $value . '</span>';

if (@$gj->max->total)

$value .= ' <span class="grademax61">of ' . $gj->maxgrades->total . '</span>';

ContactView::echo_group("total", $value, null, array("nowrap" => true));

}

private $diff = null;

private $fileorder = array();

private $lnseq = array();

private $lnorder = null;

private $totalorder = null;

function __construct($linenotes, $diff, $seegradenotes) {

if ($linenotes)

foreach ($linenotes as $file => $notelist) {

if (!isset($this->fileorder[$file]))

$this->fileorder[$file] = count($this->fileorder);

foreach ($notelist as $line => $note)

if ($seegradenotes || (is_array($note) && $note[0]))

$this->lnseq[] = array($file, $line, is_array($note) && $note[0]);

}

}

function note_files() {

return $this->fileorder;

}

function set_diff($diff) {

$this->diff = $diff;

$old_fileorder = $this->fileorder;

$this->fileorder = array();

foreach ($this->diff as $file => $x)

$this->fileorder[$file] = count($this->fileorder);

foreach ($old_fileorder as $file => $x)

// Normally every file with notes will be present

// already, but just in case---for example, the

// handout repo got corrupted...

if (!isset($this->fileorder[$file]))

$this->fileorder[$file] = count($this->fileorder);

$this->lnorder = null;

}

private function ensure_lnorder() {

if ($this->lnorder === null) {

$this->totalorder = array();

usort($this->lnseq, array($this, "compar"));

foreach ($this->lnseq as $i => $fl)

$this->lnorder[$fl[1] . "_" . $fl[0]] = $i;

}

}

function seq() {

$this->ensure_lnorder();

return $this->lnseq;

}

function get_next($file, $lineid) {

$this->ensure_lnorder();

$seq = $this->lnorder[$lineid . "_" . $file];

if ($seq === null || $seq == count($this->lnseq) - 1)

return array(null, null);

else

return $this->lnseq[$seq + 1];

}

function get_prev($file, $lineid) {

$this->ensure_lnorder();

$seq = $this->lnorder[$lineid . "_" . $file];

if ($seq === null || $seq == 0)

return array(null, null);

else

return $this->lnseq[$seq - 1];

}

function compar($a, $b) {

if ($a[0] != $b[0])

return $this->fileorder[$a[0]] - $this->fileorder[$b[0]];

if (!$this->diff || !$this->diff[$a[0]])

return strcmp($a[1], $b[1]);

if ($a[1][0] == $b[1][0])

return (int) substr($a[1], 1) - (int) substr($b[1], 1);

if (!($to = @$this->totalorder[$a[0]])) {

$to = array();

$n = 0;

foreach ($this->diff[$a[0]]->diff as $l) {

if ($l[0] == "+" || $l[0] == " ")

$to["b" . $l[2]] = ++$n;

if ($l[0] == "-" || $l[0] == " ")

$to["a" . $l[1]] = ++$n;

}

$this->totalorder[$a[0]] = $to;

}

return $to[$a[1]] - $to[$b[1]];

}

global $Conf, $Me, $User, $Pset;

global $TABWIDTH, $WDIFF;

$Notes = $Info->commit_info();

$TABWIDTH = defval($Notes, "tabwidth", 8);

$WDIFF = isset($Notes->wdiff) ? $Notes->wdiff : false;

// current commit and commit selector

$sel = array();

$curhead = $grouphead = null;

foreach ($Info->recent_commits() as $k) {

// visually separate older heads

if ($curhead === null)

$curhead = $k->fromhead;

if ($curhead != $k->fromhead) {

if (!$grouphead)

$sel["from.$k->fromhead"] = (object)

array("type" => "optgroup",

"label" => "Other snapshots");

else

$sel["from.$k->fromhead"] = null;

$curhead = $grouphead = $k->fromhead;

}

// actual option

$x = utf8_substr($k->subject, 0, 72);

if (strlen($x) != strlen($k->subject))

$x .= "...";

$sel[$k->hash] = substr($k->hash, 0, 7) . " " . htmlspecialchars($x);

}

$result = $Conf->qe("select hash from CommitNotes where (haslinenotes&" . ($Me == $User && !$Info->can_see_grades ? HASNOTES_COMMENT : HASNOTES_ANY) . ")!=0 and pset=$Pset->psetid and hash in ('" . join("','", array_keys($sel)) . "')");

while (($row = edb_row($result)))

$sel[$row[0]] .= " &nbsp;♪";

if (($h = $Info->grading_hash()) && isset($sel[$h]))

$sel[$h] = preg_replace('_(.*?)(?: &nbsp;)?(♪?)\z_', '$1 &nbsp;✱$2', $sel[$h]);

if ($Info->is_grading_commit())

$key = "grading commit";

else

$key = "this commit";

$value = Ht::select("newcommit", $sel, $Info->commit_hash(),

array("onchange" => "jQuery(this).closest('form').submit()"));

if ($Me != $User) {

$x = $Info->is_grading_commit() ? "" : "font-weight:bold";

$value .= " " . Ht::submit("grade", "Grade", array("style" => $x));

}

// view options

$fold_viewoptions = !isset($_REQUEST["tab"]) && !isset($_REQUEST["wdiff"]);

$value .= '<div class="viewoptions61">'

. '<a class="q" href="#" onclick="return fold61(this.nextSibling,this.parentNode)">'

. '<span class="foldarrow">'

. ($fold_viewoptions ? '&#x25B6;' : '&#x25BC;')

. '</span>&nbsp;options</a><span style="padding-left:1em'

. ($fold_viewoptions ? ';display:none' : '') . '">tab width:';

foreach (array(2, 4, 8) as $i)

$value .= '&nbsp;<a href="' . self_href(array("tab" => $i)) . '"'

. ($TABWIDTH == $i ? " class=\"q\"><strong>$i</strong>" : '>' . $i)

. '</a>';

$value .= '<span style="padding-left:1em">wdiff:';

foreach (array("no", "yes") as $i => $t)

$value .= '&nbsp;<a href="' . self_href(array("wdiff" => $i)) . '"'

. (!$WDIFF == !$i ? " class=\"q\"><strong>$t</strong>" : '>' . $t)

. '</a>';

$value .= '</span></span></div>';

// warnings

$remarks = array();

if (!$Info->grading_hash() && $Me != $User && !$Pset->gitless_grades)

$remarks[] = array(true, "No commit has been marked for grading.");

else if (!$Info->is_grading_commit() && $Info->grading_hash())

$remarks[] = array(true, "This is not "

. "<a class=\"uu\" href=\"" . $Info->hoturl("pset", array("commit" => $Info->grading_hash())) . "\">the commit currently marked for grading</a>"

. " <span style=\"font-weight:normal\">(<a href=\"" . $Info->hoturl("diff", array("commit1" => $Info->grading_hash())) . "\">see diff</a>)</span>.");

if (!$Info->is_latest_commit())

$remarks[] = array(true, "This is not "

. "<a class=\"uu\" href=\"" . $Info->hoturl("pset", array("commit" => $Info->latest_hash())) . "\">the latest commit</a>"

. " <span style=\"font-weight:normal\">(<a href=\"" . $Info->hoturl("diff", array("commit1" => $Info->latest_hash())) . "\">see diff</a>)</span>.");

if (($lh = $Info->late_hours()) && $lh->hours > 0) {

$extra = array();

if (@$lh->commitat)

$extra[] = "commit at " . $Conf->printableTimestamp($lh->commitat);

if (@$lh->deadline)

$extra[] = "deadline " . $Conf->printableTimestamp($lh->deadline);

$extra = count($extra) ? ' <span style="font-weight:normal">(' . join(", ", $extra) . ')</span>' : "";

$remarks[] = array(true, "This commit uses " . plural($lh->hours, "late hour") . $extra . ".");

}

if (($Info->is_latest_commit() || $Me->isPC)

&& $Pset->handout_repo_url) {

$last_handout = Contact::handout_repo_latest_commit($Pset);

$last_myhandout = $last_handout ? $Info->derived_handout_hash() : false;

if ($last_handout && $last_myhandout && $last_handout == $last_myhandout)

/* this is ideal: they have the latest handout commit */;

else if ($last_handout && $last_myhandout)

// they don't have the latest updates

$remarks[] = array(true, "Updates are available for this problem set <span style=\"font-weight:normal\">(<a href=\"" . $Info->hoturl("diff", array("commit" => $last_myhandout, "commit1" => $last_handout)) . "\">see diff</a>)</span>. Run <code>git pull handout master</code> to merge these updates.");

else if ($last_handout)

$remarks[] = array(true, "Please create your repository by cloning our repository. Creating your repository from scratch makes it harder for you to get pset updates.");

else if (!$last_handout && $Me->isPC) {

$handout_files = Contact::repo_ls_files(Contact::handout_repo($Pset), "master");

if (!count($handout_files))

$remarks[] = array(true, "The handout repository, " . htmlspecialchars($Pset->handout_repo_url) . ", contains no files; perhaps handout_repo_url is misconfigured.");

else

$remarks[] = array(true, "The handout repository, " . htmlspecialchars($Pset->handout_repo_url) . ", does not contain problem set code yet.");

}

}

// actually print

echo Ht::form($Info->hoturl_post("pset", array("commit" => null, "setcommit" => 1)), array("class" => "commitcontainer61", "peteramati_pset" => $Info->pset->urlkey, "peteramati_commit" => $Info->latest_hash())),

"<div class=\"f-contain\">";

ContactView::echo_group($key, $value, $remarks);

echo "</div></form>\n";

global $Me, $User, $Pset, $Info;

$gradercid = $Info->gradercid();

if ($Info->is_grading_commit() && $Me->can_see_grader($Pset, $User)) {

$pcm = pcMembers();

$gpc = @$pcm[$gradercid];

$value_post = "";

if ($Me->can_set_grader($Pset, $User)) {

$sel = array();

if (!$gpc) {

$sel["none"] = "(None)";

$sel[] = null;

}

foreach (pcMembers() as $pcm)

$sel[$pcm->email] = Text::name_html($pcm);

$value = Ht::form($Info->hoturl_post("pset", array("setgrader" => 1)))

. "<div>" . Ht::select("grader", $sel, $gpc ? $gpc->email : "none", array("onchange" => "setgrader61(this)"));

$value_post = "<span class=\"ajaxsave61\"></span></div></form>";

} else {

if (isset($pcm[$gradercid]))

$value = Text::name_html($pcm[$gradercid]);

else

$value = "???";

}

if ($Me->privChair)

$value .= "&nbsp;" . become_user_link($gpc);

ContactView::echo_group("grader", $value . $value_post);

}

global $Me, $User, $Pset, $Info;

if ($Info->can_see_grades

&& ($Me != $User || $Pset->grade_cdf_visible)

&& $Pset->grades) {

$gj = ContactView::grade_json($Info);

if (@$gj->grades)

echo_grade_cdf();

}

global $Me, $User, $Pset, $Info;

$gj = ContactView::grade_json($Info);

if (@$gj->grades || ($Info->can_see_grades && $Me != $User)) {

echo_grade_total($gj);

foreach ($Pset->grades as $ge)

echo_grade_entry($ge);

}

$lhg = $Info->late_hours();

if ($lhg && $User == $Me && $Info->can_see_grades) {

if ($lhg->hours || @$gj->grades) {

echo '<div style="margin-top:1.5em">';

ContactView::echo_group("late hours", '<span class="grader61" name61="late_hours">' . htmlspecialchars($lhg->hours) . '</span>',

array(), array("nowrap" => true));

echo '</div>';

}

} else if ($User != $Me) {

$lhag = $Info->late_hours(true);

$value = '<span class="gradeholder61">'

. Ht::entry("late_hours", $lhg ? $lhg->hours : "", array("onchange" => "jQuery(this).closest('form').submit()", "class" => "grader61"))

. '</span>';

$value .= " " . Ht::submit("Save", array("tabindex" => 1));

$value .= ' <span class="ajaxsave61"></span>';

if ($lhag && $lhag->hours !== $lhg->hours)

$value .= ' <span class="autograde61">auto-late hours is ' . htmlspecialchars($lhag->hours) . '</span>';

echo Ht::form($Info->hoturl_post("pset", array("setlatehours" => 1)),

array("onsubmit" => "return gradesubmit61(this)")),

'<div class="f-contain" style="margin-top:1.5em">';

ContactView::echo_group("late hours", $value,

array(), array("nowrap" => true));

echo '</div></form>';

}

global $Me;

echo "<hr/>\n";

if ($Me->isPC && @$info->pset->gitless_grades)

echo '<div style="float:right"><button type="button" onclick="jQuery(\'#upload\').show()">upload</button></div>';

echo "<h2>", htmlspecialchars($info->pset->title), "</h2>";

ContactView::echo_partner_group($info);

ContactView::echo_repo_group($info, $Me != $info->user);

ContactView::echo_repo_last_commit_group($info, false);

}

show_pset($Info);

if ($Me->isPC) {

echo '<div id="upload" style="display:none"><hr/>',

Ht::form($Info->hoturl_post("pset", array("uploadgrades" => 1))),

'<div class="f-contain">',

'<input type="file" name="file" />',

Ht::submit("Upload"),

'</div></form></div>';

}

echo "<hr>\n";

if ($Pset->gitless) {

echo_grade_cdf_here();

echo_grader();

echo_all_grades();

} else if ($Info->repo && !$Info->can_view_repo_contents

&& !$Me->isPC) {

echo_grade_cdf_here();

echo_grader();

echo_all_grades();

} else if ($Info->repo && $Info->recent_commits()) {

echo_grade_cdf_here();

echo_commit($Info);

// print runners

$runnerbuttons = array();

$last_run = false;

foreach ($Pset->runners as $r)

if ($Me->can_view_run($Pset, $r, $User)) {

if ($Me->can_run($Pset, $r, $User)) {

$b = Ht::button("run", htmlspecialchars($r->title),

array("value" => $r->name,

"class" => "runner61",

"style" => "font-weight:bold",

"onclick" => "run61(this)",

"loadgrade61" => isset($r->eval) ? "true" : null));

$runnerbuttons[] = ($last_run ? " &nbsp;" : "") . $b;

$last_run = true;

} else

$runnerbuttons[] = Ht::hidden("run", $r->name,

array("class" => "runner61"));

}

if (count($runnerbuttons) && $Me->isPC && $Me != $User && $last_run)

$runnerbuttons[] = " &nbsp;"

. Ht::button("define", "+",

array("class" => "runner61",

"style" => "font-weight:bold",

"onclick" => "runsetting61.add()"));

if (($Me->isPC && $Me != $User)

|| ($Info->grading_hash() && !$Info->is_grading_commit())

|| (!$Info->grading_hash() && $Pset->grades_visible)) {

ContactView::add_regrades($Info);

$already_requested = isset($Info->regrades[$Info->commit_hash()]);

$runnerbuttons[] = ($last_run ? ' <span style="padding:0 1em"></span>' : "")

. Ht::button("reqgrade",

$already_requested ? "Regrade Requested" : "Request Regrade",

array("style" => "font-weight:bold" . ($already_requested ? ";font-style:italic" : ""),

"onclick" => "reqregrade61(this)"));

}

if (count($runnerbuttons)) {

echo Ht::form($Info->hoturl_post("run")),

'<div class="f-contain">';

ContactView::echo_group("", join("", $runnerbuttons));

echo "</div></form>\n";

if ($Me->isPC && $Me != $User) {

echo Ht::form($Info->hoturl_post("pset", array("saverunsettings" => 1, "ajax" => 1))),

'<div class="f-contain"><div id="runsettings61"></div></div></form>', "\n";

// XXX always using grading commit's settings?

if (($runsettings = $Info->commit_info("runsettings")))

echo '<script>runsetting61.load(', json_encode($runsettings), ')</script>';

}

$Conf->footerScript("jQuery('button.runner61').prop('disabled',false)");

}

// print current grader

echo_grader();

// print grade entries

echo_all_grades();

// collect diff and sort line notes

$all_linenotes = $Info->commit_info("linenotes");

$lnorder = new LinenotesOrder($all_linenotes, $Info->can_see_grades);

$diff = $User->repo_diff($Info->repo, $Info->commit_hash(), $Pset, array("wdiff" => $WDIFF, "needfiles" => $lnorder->note_files()));

$lnorder->set_diff($diff);

// print line notes

$notelinks = array();

foreach ($lnorder->seq() as $fl) {

$f = str_starts_with($fl[0], $Pset->directory_slash) ? substr($fl[0], strlen($Pset->directory_slash)) : $fl[0];

$notelinks[] = '<a href="#L' . $fl[1] . '_' . html_id_encode($fl[0])

. '" onclick="return gotoline61(this)" class="noteref61'

. (!$fl[2] && !$Info->user_can_see_grades ? " hiddennote61" : "")

.'">' . htmlspecialchars($f) . ':' . substr($fl[1], 1) . '</a>';