cvs: phpweb / search.php
| From: | Gabor Hojtsy | Date: | Fri, 14 Nov 2003 17:16:02 +0000 |
| Subject: | cvs: phpweb / search.php | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-22020@lists.php.net to get a copy of this message | ||
goba Fri Nov 14 12:16:02 2003 EDT
Modified files:
/phpweb search.php
Log:
Pointer to the file with JS uncompressed
Index: phpweb/search.php
diff -u phpweb/search.php:1.96 phpweb/search.php:1.97
--- phpweb/search.php:1.96 Fri Nov 7 15:08:06 2003
+++ phpweb/search.php Fri Nov 14 12:16:02 2003
@@ -1,5 +1,5 @@
<?php
-// $Id: search.php,v 1.96 2003/11/07 20:08:06 goba Exp $
+// $Id: search.php,v 1.97 2003/11/14 17:16:02 goba Exp $
$_SERVER['BASE_PAGE'] = 'search.php';
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
@@ -89,6 +89,9 @@
// Print out common header
site_header("Search");
echo "<p>The search feature is accessible via the form elements at the top right of
this page.</p>";
+ echo "<p class=\"tip\">We have tried to reduce the size of the function
list autocomplete script
+ to the minimum, so you don't need to wait for long to start using this feature. If you are
interested
+ in the uncompressed JavaScript source code, look at <a
href=\"functions.js.txt\">the functions.js.txt file</a></p>";
if (FALSE) {
if (isset($EXPL_LANG)) {
$lang_input = " <input type=\"hidden\" name=\"lang\"
value=\"{$EXPL_LANG}\" />\n";