diff options
author | Zeev Suraski <zeev@php.net> | 2000-07-29 10:48:57 +0000 |
---|---|---|
committer | Zeev Suraski <zeev@php.net> | 2000-07-29 10:48:57 +0000 |
commit | d8a4278ab498ae49f342f246b6a1634d4809143b (patch) | |
tree | 7b22ed3595e28b6c39fcbd937857f480cca18aae /main/php_main.h | |
parent | 735a0d148ea2a0154b000895bcdf97ddd5a4b8ef (diff) | |
download | php-git-d8a4278ab498ae49f342f246b6a1634d4809143b.tar.gz |
- Update .dsp's
- Make non ZTS Win32 build again
Diffstat (limited to 'main/php_main.h')
-rw-r--r-- | main/php_main.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/main/php_main.h b/main/php_main.h index 9b76886066..6f0f0f2ae2 100644 --- a/main/php_main.h +++ b/main/php_main.h @@ -41,6 +41,8 @@ PHPAPI int php_global_startup_extensions(zend_module_entry **ptr, int count); PHPAPI int php_global_shutdown_extensions(zend_module_entry **ptr, int count); PHPAPI void php_execute_script(zend_file_handle *primary_file CLS_DC ELS_DC PLS_DC); +PHPAPI int php_lint_script(zend_file_handle *file CLS_DC ELS_DC PLS_DC); + extern void php_call_shutdown_functions(void); |