diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-09-09 07:21:05 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-09-09 07:21:05 +0000 |
| commit | 5876077b0279e71d6b6c8c8ba22c0c1e0af1536c (patch) | |
| tree | be1325a8ac3a4dd737c43b5afb648b93fe8df871 /src/staff/header.php | |
| parent | efb6a1fc71aef20ac04f64f3f8f693aa037435ad (diff) | |
| download | boca-5876077b0279e71d6b6c8c8ba22c0c1e0af1536c.tar.gz boca-5876077b0279e71d6b6c8c8ba22c0c1e0af1536c.zip | |
show runs to staff user
Diffstat (limited to 'src/staff/header.php')
| -rw-r--r-- | src/staff/header.php | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/staff/header.php b/src/staff/header.php index 650489c..21f93f9 100644 --- a/src/staff/header.php +++ b/src/staff/header.php @@ -67,14 +67,13 @@ echo " <tr>\n"; echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=task.php>Tasks</a></td>\n"; //echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=task.php>Tasks ($nr)</a></td>\n"; echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=score.php>Score</a></td>\n"; -//echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=run.php>Runs</a></td>\n"; -echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=option.php>Options</a></td>\n"; +echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=run.php>Runs</a></td>\n"; echo " <td align=center width=\"20%\"><a href=\"#\" class=menu style=\"font-weight:bold\" onClick=\"window.open('report/stat.php', ". "'Problem Statistics','width=800,height=600,scrollbars=yes,toolbar=yes,menubar=yes,". "resizable=yes')\">Statistics</a></td>\n"; -//echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=option.php>Options</a></td>\n"; +echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=option.php>Options</a></td>\n"; echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=../index.php>Logout</a></td>\n"; echo " </tr>\n"; echo "</table>\n"; |