php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Pointer to the file with JS uncompressed

Browse Source
This commit is contained in:
Gabor Hojtsy
2003-11-14 17:16:02 +00:00
parent d56612f234
commit ef29a6d81c
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
search.php
View File

@@ -89,6 +89,9 @@ else {
// 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";