diff options
Diffstat (limited to 'Zend/zend_execute_API.c')
| -rw-r--r-- | Zend/zend_execute_API.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Zend/zend_execute_API.c b/Zend/zend_execute_API.c index 5842aeea33..109cf5e305 100644 --- a/Zend/zend_execute_API.c +++ b/Zend/zend_execute_API.c @@ -185,6 +185,9 @@ void init_executor(TSRMLS_D) EG(float_separator)[0] = '.'; } +static void do_nothing(void *v) +{ +} void shutdown_executor(TSRMLS_D) { |