diff options
author | Zeev Suraski <zeev@php.net> | 1999-05-10 19:48:23 +0000 |
---|---|---|
committer | Zeev Suraski <zeev@php.net> | 1999-05-10 19:48:23 +0000 |
commit | 928e322038d9b7944c8e3d2a710fe3ac9975bde4 (patch) | |
tree | 1d195139048551f6928e9cb2730d043b9e4a0172 /main/php_globals.h | |
parent | 8f48b83df4334d505a9f8881e32702922bb3484d (diff) | |
download | php-git-928e322038d9b7944c8e3d2a710fe3ac9975bde4.tar.gz |
Weed out all BoundsChecker-found bugs
Diffstat (limited to 'main/php_globals.h')
-rw-r--r-- | main/php_globals.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/main/php_globals.h b/main/php_globals.h index 48ad5441f7..0eae5e131c 100644 --- a/main/php_globals.h +++ b/main/php_globals.h @@ -37,7 +37,6 @@ struct _php_core_globals { char *safe_mode_exec_dir; long enable_dl; - long max_execution_time; long memory_limit; long track_errors; |