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

Drop search information alltogether, add base page and new include

Browse Source
This commit is contained in:
Gabor Hojtsy
2003-08-08 13:39:04 +00:00
parent 4d1b1cbbf3
commit b9c58ef587
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
mirror.php
View File

@@ -1,5 +1,7 @@
<?php
include_once "prepend.inc";
// $Id$
$_SERVER['BASE_PAGE'] = 'mirror.php';
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
commonHeader("Information About This PHP Mirror Site");
?>
@@ -24,7 +26,6 @@ commonHeader("Information About This PHP Mirror Site");
<ul>
<li>Default language is <?php echo $LANGUAGES[default_language()]; ?></li>
<?php //<li>Local search support is <?php echo have_search() ? "available" : "not available"; </li> ?>
<li>Local visitor statistics is <?php echo have_stats() ? "available" : "not available"; ?></li>
</ul>