-
- # prepend best match, replace unless duplicate
- array_unshift($results, key($ls));
- $results = array_unique($results);
- array_splice($results, $limit);
+ $results = array_keys($ls);
+}
+else {
+ $cmd = "git grep -li -- ".escapeshellarg($query).$path;
+ exec($cmd, $results);
+ if (count($results) > $limit) {
+ shuffle($results); // avoid alphabetical top set
+ }