From 532233a9792c2495ba31d1f0b211d61ddec9ea6e Mon Sep 17 00:00:00 2001
From: Dries Buytaert <dries@buytaert.net>
Date: Sun, 20 May 2001 19:30:39 +0000
Subject: - Removed includes/timer.inc: it has been integrated in common.inc.

- Fixed a bug in node.php: UnConeD forgot to update 1 node_get_object().

- I changed the look of theme_morelink() a bit: it might not look better,
  but at least the output is "correct".

- Various small improvements.
---
 includes/timer.inc | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 includes/timer.inc

(limited to 'includes/timer.inc')

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
-- 
cgit v1.2.3