Sort commands like a human would do

This commit is contained in:
Javier Eguiluz 2016-09-08 11:37:22 +02:00
parent f04b1bd72f
commit ba6c9464ea

View File

@ -1019,7 +1019,7 @@ class Application
}
$alternatives = array_filter($alternatives, function ($lev) use ($threshold) { return $lev < 2 * $threshold; });
ksort($alternatives);
ksort($alternatives, SORT_NATURAL | SORT_FLAG_CASE);
return array_keys($alternatives);
}