ensure that ordering by importance is stable

The initial search results retrieved from the database already come
preordered, either by importnace or by distance. We want to keep
that order if all other things are equal.

diff --git a/lib/lib.php b/lib/lib.php
index c4fbca308636e60e0cd0e59a27fc63eb517b7597..fcd220667bcdede296654b8db9d80a827f9dab8e 100644 (file)
--- a/lib/lib.php
+++ b/lib/lib.php
@@ -55,7 +55,7 @@ function byImportance($a, $b)
     if ($a['importance'] != $b['importance'])
         return ($a['importance'] > $b['importance']?-1:1);
 
-    return ($a['foundorder'] < $b['foundorder']?-1:1);
+    return $a['foundorder'] <=> $b['foundorder'];
 }