1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Files
archived-web-php/mirror-info.php
2003-01-10 09:59:23 +00:00

25 lines
550 B
PHP

<?php
// Define $MYSITE and $LAST_UPDATED variables
include_once "prepend.inc";
// Try to find out if local search is possible
unset($htsearch_prog);
if (file_exists("configuration.inc")) {
include_once 'configuration.inc';
$searchtype = 2;
}
if (isset($_SERVER['HTSEARCH_PROG'])) {
$htsearch_prog = $_SERVER['HTSEARCH_PROG'];
$searchtype = 1;
}
if (!@is_executable($htsearch_prog)) {
unset($htsearch_prog);
}
if (!isset($htsearch_prog)) {
$searchtype = 0;
}
echo "$MYSITE|", phpversion(), "|$LAST_UPDATED|$searchtype";
?>