diff --git a/index.php b/index.php index 688eee2ee2..c82b203863 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 fe33fe429d..0000000000 --- a/util/profiler.php +++ /dev/null @@ -1,21 +0,0 @@ -