2023-01-09 21:30:45 +00:00
|
|
|
<?php
|
2023-02-26 11:22:38 +00:00
|
|
|
|
2023-01-09 21:30:45 +00:00
|
|
|
$host = $_SERVER['HTTP_HOST'];
|
2023-02-26 11:22:38 +00:00
|
|
|
|
|
|
|
function echolink($url, $name) {
|
|
|
|
global $host;
|
|
|
|
if("/$url/" != $_SERVER['REQUEST_URI']) {
|
2024-07-08 09:20:49 +00:00
|
|
|
echo "<a href='https://$host/$url/'>$name</a> ";
|
2023-01-09 21:30:45 +00:00
|
|
|
} else {
|
2024-07-08 09:20:49 +00:00
|
|
|
echo "<span>$name</span> ";
|
2023-01-09 21:30:45 +00:00
|
|
|
}
|
|
|
|
}
|
2024-07-08 09:20:49 +00:00
|
|
|
echo "<nav id='main-nav'>";
|
2023-02-26 11:22:38 +00:00
|
|
|
if($_SERVER["DOCUMENT_ROOT"] !== getcwd()) {
|
|
|
|
echo "<a href='https://$host/'>home</a>";
|
|
|
|
}
|
|
|
|
echolink("about", "about");
|
2023-08-21 14:46:34 +00:00
|
|
|
echolink("uses", "uses");
|
|
|
|
echolink("music", "music");
|
2023-02-26 11:22:38 +00:00
|
|
|
echolink("blog", "blog");
|
|
|
|
echolink("links", "links");
|
|
|
|
echolink("stuff", "stuff");
|
|
|
|
echolink("guestbook", "guestbook");
|
|
|
|
echolink("stats", "stats");
|
2023-08-21 14:46:34 +00:00
|
|
|
echolink("greenhouse", "greenhouse");
|
2023-02-26 11:22:38 +00:00
|
|
|
echolink("etc", "etc");
|
2024-07-08 09:20:49 +00:00
|
|
|
echo("</nav>")
|
2023-01-09 21:30:45 +00:00
|
|
|
?>
|