diff options
Diffstat (limited to 'main/php.h')
| -rw-r--r-- | main/php.h | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/main/php.h b/main/php.h index dbd7673643..a20b4a3bfc 100644 --- a/main/php.h +++ b/main/php.h @@ -1,7 +1,5 @@ /* +----------------------------------------------------------------------+ - | PHP Version 7 | - +----------------------------------------------------------------------+ | Copyright (c) The PHP Group | +----------------------------------------------------------------------+ | This source file is subject to version 3.01 of the PHP license, | @@ -24,7 +22,7 @@ #include <dmalloc.h> #endif -#define PHP_API_VERSION 20190902 +#define PHP_API_VERSION 20190128 #define PHP_HAVE_STREAMS #define YYDEBUG 0 #define PHP_DEFAULT_CHARSET "UTF-8" @@ -296,7 +294,6 @@ END_EXTERN_C() /* global variables */ #if !defined(PHP_WIN32) -#define PHP_SLEEP_NON_VOID #define php_sleep sleep extern char **environ; #endif /* !defined(PHP_WIN32) */ @@ -363,7 +360,6 @@ END_EXTERN_C() BEGIN_EXTERN_C() PHPAPI extern int (*php_register_internal_extensions_func)(void); PHPAPI int php_register_internal_extensions(void); -PHPAPI int php_mergesort(void *base, size_t nmemb, size_t size, int (*cmp)(const void *, const void *)); PHPAPI void php_register_pre_request_shutdown(void (*func)(void *), void *userdata); PHPAPI void php_com_initialize(void); PHPAPI char *php_get_current_user(void); |
