diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-02-27 10:33:35 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-02-27 10:36:01 +0100 |
commit | 84854a72c70b237f6d58ee148621b6e29ec406ba (patch) | |
tree | 1b22d8653d4c32688c6d7e8312e3622f40e55ea8 /main/php.h | |
parent | 0427ef91a677d10a022b82b3c96e02ba6520c4fa (diff) | |
download | php-git-84854a72c70b237f6d58ee148621b6e29ec406ba.tar.gz |
Remove mergesort implementation
php_mergesort() isn't being used for anything, and hasn't been for
a long time. Even if we wanted to use a stable sort, this isn't
the implementation we'd use...
Diffstat (limited to 'main/php.h')
-rw-r--r-- | main/php.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/main/php.h b/main/php.h index 48c78291d7..a20b4a3bfc 100644 --- a/main/php.h +++ b/main/php.h @@ -360,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); |