From b12d5e3c6e58daa4f5b1c10ea51f83ea44ec85a0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jes=C3=BAs?= Date: Thu, 11 Jun 2020 16:13:49 -0500 Subject: [PATCH] buscar.php: fix skip "common words" --- content/pages/buscar.php.md | 22 ++++++++++++---------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/content/pages/buscar.php.md b/content/pages/buscar.php.md index 806a42a..5eb6643 100644 --- a/content/pages/buscar.php.md +++ b/content/pages/buscar.php.md @@ -5,10 +5,7 @@ Save_as: buscar.php Status: hidden Title: Resultados -
-
-
$b['score']) ? -1 : 1; }; - $stop_results = $found_results; if ($stop_words_ignored) { - printf('
%s
', 'Las palabras comunes se ignoran en gran parte'); - $stop_results = NULL; + printf(' +
+
%s
+
+
', 'Algunas palabras «comunes» fueron ignoradas'); } $found_results_count = count($found_results); @@ -132,7 +131,10 @@ if (isset($_GET['q'])) { printf('
%s
', 'No se ha encontrado nada'); } - if (!empty($stop_results)) { + // Init head + printf(' +
+
'); foreach ($found_results as $found_result) { printf('
@@ -176,12 +178,12 @@ if (isset($_GET['q'])) { $found_result['title'], $found_result['published'], $found_result['publishedText'], $found_result['authorUrl'], $found_result['author']); } - } } else { printf('
%s
', 'Aún no has buscado'); } +// End head +printf('
+
'); ?> -
-