1 files changed, 0 insertions, 17 deletions
diff --git a/includes/timer.inc b/includes/timer.inc
deleted file mode 100644
index e6740f366..000000000
--- a/includes/timer.inc
+++ /dev/null
@@ -1,17 +0,0 @@
-<?php
-
-$timer = 0;
-
-function timer_print() {
-  global $timer;
-  $stop = explode(" ", microtime());
-  $diff = $stop[0] - $timer[0];
-  print "<PRE>execution time: $diff ms</PRE>";
-}
-
-function timer_start() {
-  global $timer;
-  $timer = explode(" ", microtime());
-}
-
-?>
-\ No newline at end of file