From 73362ad67d9e983d7ab26c068e4d595069bf01ef Mon Sep 17 00:00:00 2001 From: Mischa POSLAWSKY Date: Tue, 23 Oct 2018 02:05:29 +0200 Subject: [PATCH] search: dedicated page with query form --- search.html | 8 ++++++++ search.php | 18 ++++++++++++++---- 2 files changed, 22 insertions(+), 4 deletions(-) create mode 100644 search.html diff --git a/search.html b/search.html new file mode 100644 index 0000000..2b24635 --- /dev/null +++ b/search.html @@ -0,0 +1,8 @@ +

Zoeken

+ +
+ + +
+ +[[search limit=100 verbose=1 /]] diff --git a/search.php b/search.php index 5bd03bb..2f093c9 100644 --- a/search.php +++ b/search.php @@ -1,8 +1,11 @@ $limit) { shuffle($results); @@ -13,9 +16,9 @@ $cmd = "git ls-files -- $path"; exec($cmd, $ls); if ($ls) { # order files by similarity to query - $ls = array_combine($ls, array_map(function ($row) use ($Page) { + $ls = array_combine($ls, array_map(function ($row) use ($query) { $row = preg_replace('{(?:^|/)index\.html$}', '', $row); - return similar_text($row, $Page) - strlen($row) / 8; + return similar_text($row, $query) - strlen($row) / 8; }, $ls)); arsort($ls); @@ -29,6 +32,13 @@ elseif (!$results) { $results = ['index.html']; } +if (isset($Place['verbose'])) { + printf("

%s gevonden voor %s:

\n", + $results ? count($results).' resultaten' : 'Niets', + htmlspecialchars($query) + ); +} + require_once('nieuws.inc.php'); print '