3 $path = ' '.escapeshellarg('*.html');
5 $cmd = "git grep -li -- ".escapeshellarg($Page).$path;
7 if (count($results) > $limit) {
9 array_splice($results, $limit);
12 $cmd = "git ls-files -- $path";
15 # order files by similarity to query
16 $ls = array_combine($ls, array_map(function ($row) use ($Page) {
17 $row = preg_replace('{(?:^|/)index\.html$}', '', $row);
18 return similar_text($row, $Page) - strlen($row) / 8;
22 # prepend best match, replace unless duplicate
23 array_unshift($results, key($ls));
24 $results = array_unique($results);
25 array_splice($results, $limit);
29 $results = ['index.html'];
32 require_once('nieuws.inc.php');
34 foreach ($results as $result) {
35 $page = new ArchiveArticle($result);
36 printf('<li><a href="/%s">%s</a></li>'."\n", $page->link, $page->name);