diff options
Diffstat (limited to 'ext/standard/random.c')
| -rw-r--r-- | ext/standard/random.c | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/ext/standard/random.c b/ext/standard/random.c index b95e58774b..f6568a658f 100644 --- a/ext/standard/random.c +++ b/ext/standard/random.c @@ -2,7 +2,7 @@ +----------------------------------------------------------------------+ | PHP Version 7 | +----------------------------------------------------------------------+ - | Copyright (c) 1997-2018 The PHP Group | + | Copyright (c) The PHP Group | +----------------------------------------------------------------------+ | This source file is subject to version 3.01 of the PHP license, | | that is bundled with this package in the file LICENSE, and is | @@ -285,12 +285,3 @@ PHP_FUNCTION(random_int) RETURN_LONG(result); } /* }}} */ - -/* - * Local variables: - * tab-width: 4 - * c-basic-offset: 4 - * End: - * vim600: sw=4 ts=4 fdm=marker - * vim<600: sw=4 ts=4 - */ |