diff options
Diffstat (limited to 'ext/standard/microtime.c')
| -rw-r--r-- | ext/standard/microtime.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ext/standard/microtime.c b/ext/standard/microtime.c index 62c5825a1b..1b5738135f 100644 --- a/ext/standard/microtime.c +++ b/ext/standard/microtime.c @@ -16,8 +16,6 @@ +----------------------------------------------------------------------+ */ -/* $Id$ */ - #include "php.h" #ifdef HAVE_SYS_TYPES_H |