From d82bc719948a2e8d109fdf192a327fbc2a5d4228 Mon Sep 17 00:00:00 2001
From: Gabor Hojtsy <goba@php.net>
Date: Fri, 15 Aug 2003 10:47:22 +0000
Subject: [PATCH] Do not allow the indexing of this page, if it is a result of
 a search (this will hopefuly clean up the google listings of pages which only
 give a search page)

---
 quickref.php | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/quickref.php b/quickref.php
index 34c32055a..a24bb878d 100644
--- a/quickref.php
+++ b/quickref.php
@@ -98,7 +98,11 @@ if (count($temp) > 0) {
     unset($matches, $temp);
 }
 
-site_header("Manual Quick Reference");
+// Do not index page if presented as a search result
+if (count($maybe) > 0) { $head_options = array("noindex"); }
+else { $head_options = array(); }
+
+site_header("Manual Quick Reference", $head_options);
 ?>
 
 <h1>PHP Function List</h1>