1
0
mirror of https://github.com/php/php-src.git synced 2026-04-03 14:12:38 +02:00
Files
archived-php-src/main
Nikita Popov 84854a72c7 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...
2020-02-27 10:36:01 +01:00
..
2019-02-03 21:03:00 +01:00
2019-12-30 23:22:39 +01:00
2020-01-27 13:32:51 +01:00
2020-01-17 09:47:31 +01:00
2020-01-27 13:32:51 +01:00
2020-02-11 12:08:25 +01:00
2020-02-04 11:38:29 +01:00
2020-02-27 10:36:01 +01:00