diff options
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); |