";
$end="";
if ($pattern=="") return $string;
$string=strtolower($string);
$pattern=strtolower($pattern);
return(str_replace($pattern,$beg.$pattern.$end,$string));
}
function mysql_die($error = "")
{
global $strError,$strMySQLSaid, $strBack;
echo " $strError ";
if (empty($error))
echo $strMySQLSaid.mysql_error();
else
echo $strMySQLSaid.$error;
echo "
$strBack";
require ("footer.inc.php3");
exit;
}
function auth()
{
global $cfgServer;
#$PHP_AUTH_USER = ""; No need to do this since err 401 allready clears that var
Header("status: 401 Unauthorized");
Header("HTTP/1.0 401 Unauthorized");
Header("WWW-authenticate: basic realm=\"phpMySQLAdmin on " . $cfgServer['host'] . "\"");
echo "
" . $GLOBALS["strAccessDenied"] . "\n";
echo "
" . $GLOBALS["strWrongUser"] . "
\n";
echo "";
exit;
}
function count_records ($db,$table)
{ $result = mysql_db_query($db, "select count(*) as num from $table");
$num = mysql_result($result,0,"num");
echo $num;
}
function show_message($message)
{
?>