diff options
| author | Dries Buytaert <dries@buytaert.net> | 2001-05-20 19:30:39 +0000 |
|---|---|---|
| committer | Dries Buytaert <dries@buytaert.net> | 2001-05-20 19:30:39 +0000 |
| commit | 532233a9792c2495ba31d1f0b211d61ddec9ea6e (patch) | |
| tree | e8ccc139fb19fa72f5212a3507120b1c5ef00e81 /includes/timer.inc | |
| parent | 4f1cf00f9ea7b578b9966883b0182179006ddcb8 (diff) | |
| download | brdo-532233a9792c2495ba31d1f0b211d61ddec9ea6e.tar.gz brdo-532233a9792c2495ba31d1f0b211d61ddec9ea6e.tar.bz2 | |
- 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.
Diffstat (limited to 'includes/timer.inc')
| -rw-r--r-- | includes/timer.inc | 17 |
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 |