<?php
# I expected sort() not to be stable on same values, but this?
# Using SORT_NUMERIC "fixes" it?
$a=array(0,"a");
var_dump($a);
sort($a);
var_dump($a);
sort($a);
var_dump($a);
array(2) {
[0]=>
int(0)
[1]=>
string(1) "a"
}
array(2) {
[0]=>
int(0)
[1]=>
string(1) "a"
}
array(2) {
[0]=>
int(0)
[1]=>
string(1) "a"
}
Output for 8.3.5
Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
array(2) {
[0]=>
int(0)
[1]=>
string(1) "a"
}
array(2) {
[0]=>
int(0)
[1]=>
string(1) "a"
}
array(2) {
[0]=>
int(0)
[1]=>
string(1) "a"
}
Output for 5.5.24 - 5.5.35, 5.6.8 - 5.6.28
array(2) {
[0]=>
int(0)
[1]=>
string(1) "a"
}
array(2) {
[0]=>
string(1) "a"
[1]=>
int(0)
}
array(2) {
[0]=>
int(0)
[1]=>
string(1) "a"
}