2 $path = ' '.escapeshellarg('*.html');
3 $cmd = "git grep -li -- ".escapeshellarg($Page).$path;
4 $cmd .= ' |sort -R |head -n 10'; # random selection
8 $results = ['index.html'];
11 require_once('nieuws.inc.php');
13 foreach ($results as $result) {
14 $page = new ArchiveArticle($result);
15 printf('<li><a href="/%s">%s</a></li>'."\n", $page->link, $page->name);