diff options
Diffstat (limited to 'src/judge/header.php')
| -rw-r--r-- | src/judge/header.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/judge/header.php b/src/judge/header.php index ac5c699..2874366 100644 --- a/src/judge/header.php +++ b/src/judge/header.php @@ -92,6 +92,9 @@ echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" if($isboss) { echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=runchief.php>Chief ($nrchief)</a></td>\n"; } +{ + echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=allrunlist.php>All runs </a></td>\n"; +} echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=score.php>Score</a></td>\n"; echo " <td align=center width=\"10%\"><a class=menu style=\"font-weight:bold\" href=clar.php>Clarifications ($nc)</a></td>\n"; |