\n";
print " | ";
?>
Welcome to the AUR! If you're a newcomer, you may want to read the Guidelines.
If you have feedback about the AUR, please leave it in Flyspray.
Though we can't vouch for their contents, we provide a list of user repositories for your convenience.
";
# XXX Is this the proper way to add some spacing between table cells?
#
print " | | ";
print " \n";
if (!isset($_COOKIE["AURSID"])) {
# the user is not logged in, give them login widgets
#
if ($login_error) {
print "" . $login_error . "
\n";
}
print "\n";
} else {
print __("Logged-in as: %h%s%h",
array("", username_from_sid($_COOKIE["AURSID"]), ""));
}
print " | ";
print "
\n";
print "\n";
html_footer("