diff options
Diffstat (limited to 'ext/standard/microtime.c')
| -rw-r--r-- | ext/standard/microtime.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/ext/standard/microtime.c b/ext/standard/microtime.c index 1eb10d49f6..0850c6cf2c 100644 --- a/ext/standard/microtime.c +++ b/ext/standard/microtime.c @@ -67,7 +67,6 @@ PHP_FUNCTION(microtime) } /* }}} */ - /* {{{ proto array gettimeofday(void) Returns the current time as array */ PHP_FUNCTION(gettimeofday) @@ -140,11 +139,11 @@ PHP_FUNCTION(getrusage) /* }}} */ - /* * Local variables: * tab-width: 4 * c-basic-offset: 4 * End: - * vim: sw=4 ts=4 tw=78 fdm=marker + * vim600: sw=4 ts=4 tw=78 fdm=marker + * vim<600: sw=4 ts=4 tw=78 */ |