diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-10-24 14:58:09 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-10-24 14:58:09 +0000 |
| commit | aaee4537fc9201e9d6a242583d82fd1bea97928c (patch) | |
| tree | ff57c7f621382492910292b490d9c67e6f99e739 /src/admin/header.php | |
| parent | 006561454093d44a789463d531cfbc640c519867 (diff) | |
| parent | 2c862aa5c6ac4afe4005582fc836b13775a99eac (diff) | |
| download | boca-aaee4537fc9201e9d6a242583d82fd1bea97928c.tar.gz boca-aaee4537fc9201e9d6a242583d82fd1bea97928c.zip | |
Merge branch 'devel'
Diffstat (limited to 'src/admin/header.php')
| -rw-r--r-- | src/admin/header.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/admin/header.php b/src/admin/header.php index 1677469..6002b18 100644 --- a/src/admin/header.php +++ b/src/admin/header.php @@ -15,7 +15,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see <http://www.gnu.org/licenses/>. //////////////////////////////////////////////////////////////////////////////// -// Last modified 21/jul/2012 by cassio@ime.usp.br +// Last modified 19/oct/2017 by cassio@ime.usp.br ob_start(); header ("Expires: " . gmdate("D, d M Y H:i:s") . " GMT"); @@ -53,7 +53,7 @@ if($_SESSION["usertable"]["usertype"] != "admin") { } if(!isset($_POST['noflush'])) { - echo "</head><body><table border=1 width=\"100%\">\n"; + echo "</head><body id=\"body\"><table border=1 width=\"100%\">\n"; echo "<tr><td nowrap bgcolor=\"eeee00\" align=center>"; echo "<img src=\"../images/smallballoontransp.png\" alt=\"\">"; echo "<font color=\"#000000\">BOCA</font>"; @@ -71,7 +71,7 @@ if(!isset($_POST['noflush'])) { echo " <td align=center><a class=menu style=\"font-weight:bold\" href=problem.php>Problems</a></td>\n"; echo " <td align=center><a class=menu style=\"font-weight:bold\" href=language.php>Languages</a></td>\n"; echo " <td align=center><a class=menu style=\"font-weight:bold\" href=answer.php>Answers</a></td>\n"; - // echo " <td align=center><a class=menu style=\"font-weight:bold\" href=export.php>Export</a></td>\n"; + echo " <td align=center><a class=menu style=\"font-weight:bold\" href=misc.php>Misc</a></td>\n"; //echo " </tr></table><hr><table border=0 width=\"100%\" align=center><tr>\n"; echo " </tr><tr>\n"; echo " <td align=center><a class=menu style=\"font-weight:bold\" href=task.php>Tasks</a></td>\n"; |