diff options
Diffstat (limited to 'Zend/zend_execute.h')
| -rw-r--r-- | Zend/zend_execute.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_execute.h b/Zend/zend_execute.h index b2163c7d25..05f0e9a956 100644 --- a/Zend/zend_execute.h +++ b/Zend/zend_execute.h @@ -288,7 +288,7 @@ ZEND_API zend_bool zend_is_executing(void); ZEND_API void zend_set_timeout(zend_long seconds, int reset_signals); ZEND_API void zend_unset_timeout(void); -ZEND_API void zend_timeout(int dummy); +ZEND_API ZEND_NORETURN void zend_timeout(int dummy); ZEND_API zend_class_entry *zend_fetch_class(zend_string *class_name, int fetch_type); ZEND_API zend_class_entry *zend_fetch_class_by_name(zend_string *class_name, const zval *key, int fetch_type); void zend_verify_abstract_class(zend_class_entry *ce); |