From 0fb7637e5b9fff24a7265a27308ea795ec8e3f38 Mon Sep 17 00:00:00 2001 From: Cassio de Campos Date: Thu, 19 Oct 2017 13:44:08 +0100 Subject: new options to admin --- src/admin/header.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/admin/header.php') diff --git a/src/admin/header.php b/src/admin/header.php index d2cf43f..5a01c93 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 . //////////////////////////////////////////////////////////////////////////////// -// 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"); @@ -71,7 +71,7 @@ if(!isset($_POST['noflush'])) { echo " Problems\n"; echo " Languages\n"; echo " Answers\n"; - echo " Transfer\n"; + echo " Misc\n"; //echo "
\n"; echo " \n"; echo " \n"; -- cgit v1.2.3
Tasks