From ad9d0dadb3ade47d9ecbe5a0ffea12a8f9c4a96d Mon Sep 17 00:00:00 2001 From: Alexander Kampmann Date: Thu, 22 Mar 2012 12:52:24 +0100 Subject: [PATCH] removed unneccessary stuff --- index.php | 2 -- util/profiler.php | 21 --------------------- 2 files changed, 23 deletions(-) delete mode 100755 util/profiler.php diff --git a/index.php b/index.php index 688eee2ee..c82b20386 100755 --- a/index.php +++ b/index.php @@ -41,8 +41,6 @@ require_once("dba.php"); $db = new dba($db_host, $db_user, $db_pass, $db_data, $install); unset($db_host, $db_user, $db_pass, $db_data); -require_once('util/profiler.php'); - if(! $install) { /** diff --git a/util/profiler.php b/util/profiler.php deleted file mode 100755 index fe33fe429..000000000 --- a/util/profiler.php +++ /dev/null @@ -1,21 +0,0 @@ -