Files
phpmyadmin/index.php3
2001-09-21 20:09:46 +00:00

59 lines
1.6 KiB
PHP
Executable File

<?php
/* $Id$ */
/**
* Gets core libraries and defines some variables
*/
require('./libraries/grab_globals.lib.php3');
require('./libraries/common.lib.php3');
// Gets the default font sizes
set_font_sizes();
// Gets the host name
if (empty($HTTP_HOST)) {
if (!empty($HTTP_ENV_VARS) && isset($HTTP_ENV_VARS['HTTP_HOST'])) {
$HTTP_HOST = $HTTP_ENV_VARS['HTTP_HOST'];
}
else if (@getenv('HTTP_HOST')) {
$HTTP_HOST = getenv('HTTP_HOST');
}
else {
$HTTP_HOST = '';
}
}
/**
* Defines the frameset
*/
$url_query = 'lang=' . $lang
. '&server=' . $server
. (empty($db) ? '' : '&db=' . urlencode($db));
echo '<?xml version="1.0" encoding="' . strtoupper($charset) . '"?>' . "\n";
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN" "DTD/xhtml1-frameset.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="<?php echo $available_languages[$lang][2]; ?>" lang="<?php echo $available_languages[$lang][2]; ?>">
<head>
<title>phpMyAdmin <?php echo PHPMYADMIN_VERSION; ?> - <?php echo $HTTP_HOST; ?></title>
<style type="text/css">
<!--
body {font-family: <?php echo $right_font_family; ?>; font-size: <?php echo $font_size; ?>}
//-->
</style>
</head>
<frameset cols="<?php echo $cfgLeftWidth; ?>,*" rows="*">
<frame src="left.php3?<?php echo $url_query; ?>" name="nav" frameborder="1" />
<frame src="<?php echo (empty($db)) ? 'main.php3' : 'db_details.php3'; ?>?<?php echo $url_query; ?>" name="phpmain" />
<noframes>
<body bgcolor="#FFFFFF">
<p>phpMyAdmin is more friendly with a <b>frames-capable</b> browser.</p>
</body>
</noframes>
</frameset>
</html>