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 /Zend/zend_opcode.c | |
| 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 'Zend/zend_opcode.c')
0 files changed, 0 insertions, 0 deletions