diff options
| author | Zeev Suraski <zeev@php.net> | 2001-01-15 10:52:02 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 2001-01-15 10:52:02 +0000 |
| commit | d294f46f5a6246986b6b65806ec3fcf83f46b13e (patch) | |
| tree | 1656bf5c1cc391f4fa725f8c683424391c2ad5f1 /main/php_globals.h | |
| parent | f8522c7fa9b00b6730bdf27bce511aa978d2574c (diff) | |
| download | php-git-d294f46f5a6246986b6b65806ec3fcf83f46b13e.tar.gz | |
- Remove the ini_extension_list global
- Switch to delayed loading of Zend extensions
Diffstat (limited to 'main/php_globals.h')
| -rw-r--r-- | main/php_globals.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/main/php_globals.h b/main/php_globals.h index b01d823b76..aa313a4075 100644 --- a/main/php_globals.h +++ b/main/php_globals.h @@ -124,8 +124,6 @@ struct _php_core_globals { zend_bool during_request_startup; zend_bool allow_url_fopen; - - zend_llist ini_extension_list; }; |