diff --git a/quickref.php b/quickref.php index c6d2971a4..665faacfe 100644 --- a/quickref.php +++ b/quickref.php @@ -131,11 +131,11 @@ else { $head_options = array(); } site_header("Manual Quick Reference", $head_options+array("current" => "docs")); -$notfound_sc = htmlspecialchars($notfound, ENT_QUOTES, 'UTF-8'); -$notfound_enc = urlencode($notfound_sc); +// Note: $notfound is defined (with htmlspecialchars) inside manual-lookup.php +$notfound_enc = urlencode($notfound); if ($snippet = is_known_snippet($notfound)) { - echo "

Related snippet found for '{$notfound_sc}'

"; + echo "

Related snippet found for '{$notfound}'

"; echo "

{$snippet}

"; } ?> @@ -145,7 +145,7 @@ if ($snippet = is_known_snippet($notfound)) { 0) { ?>

- doesn't exist. Closest matches: + doesn't exist. Closest matches:

@@ -172,7 +172,7 @@ endif;

Other forms of search

-To search the string "" using other options, try searching: +To search the string "" using other options, try searching: