diff options
Diffstat (limited to 'ext/standard/php_random.h')
| -rw-r--r-- | ext/standard/php_random.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/ext/standard/php_random.h b/ext/standard/php_random.h index 7660f746c5..3398ddb534 100644 --- a/ext/standard/php_random.h +++ b/ext/standard/php_random.h @@ -49,10 +49,3 @@ extern PHPAPI php_random_globals random_globals; #endif #endif - -/* - * Local variables: - * tab-width: 4 - * c-basic-offset: 4 - * End: - */ |