fix exports which are now referenced by phpdbg

(cherry picked from commit cd0f1c8a5e)
This commit is contained in:
Anatol Belski 2016-09-28 20:06:10 +02:00
parent 94f7e4a5f4
commit 22a3d55e9a
2 changed files with 4 additions and 4 deletions

View file

@ -31,7 +31,7 @@ static zend_object_handlers zend_generator_handlers;
static zend_object *zend_generator_create(zend_class_entry *class_type); static zend_object *zend_generator_create(zend_class_entry *class_type);
void zend_generator_restore_call_stack(zend_generator *generator) /* {{{ */ ZEND_API void zend_generator_restore_call_stack(zend_generator *generator) /* {{{ */
{ {
zend_execute_data *call, *new_call, *prev_call = NULL; zend_execute_data *call, *new_call, *prev_call = NULL;
@ -57,7 +57,7 @@ void zend_generator_restore_call_stack(zend_generator *generator) /* {{{ */
} }
/* }}} */ /* }}} */
zend_execute_data* zend_generator_freeze_call_stack(zend_execute_data *execute_data) /* {{{ */ ZEND_API zend_execute_data* zend_generator_freeze_call_stack(zend_execute_data *execute_data) /* {{{ */
{ {
size_t used_stack; size_t used_stack;
zend_execute_data *call, *new_call, *prev_call = NULL; zend_execute_data *call, *new_call, *prev_call = NULL;

View file

@ -105,8 +105,8 @@ void zend_register_generator_ce(void);
ZEND_API void zend_generator_close(zend_generator *generator, zend_bool finished_execution); ZEND_API void zend_generator_close(zend_generator *generator, zend_bool finished_execution);
ZEND_API void zend_generator_resume(zend_generator *generator); ZEND_API void zend_generator_resume(zend_generator *generator);
void zend_generator_restore_call_stack(zend_generator *generator); ZEND_API void zend_generator_restore_call_stack(zend_generator *generator);
zend_execute_data* zend_generator_freeze_call_stack(zend_execute_data *execute_data); ZEND_API zend_execute_data* zend_generator_freeze_call_stack(zend_execute_data *execute_data);
void zend_generator_yield_from(zend_generator *generator, zend_generator *from); void zend_generator_yield_from(zend_generator *generator, zend_generator *from);
ZEND_API zend_execute_data *zend_generator_check_placeholder_frame(zend_execute_data *ptr); ZEND_API zend_execute_data *zend_generator_check_placeholder_frame(zend_execute_data *ptr);