function github_url() { return 'http://github.com/' . github_account(); }
echo date('Y'); ?> <?php echo site_name(); ?> . All rights reserved.</div> <ul role="navigation"> <?php if (github_account()) { ?> <li><a href="<?php echo github_url(); ?> ">@<?php echo github_account(); ?> </a></li> <?php } ?> <li><a href="<?php echo base_url('admin'); ?> " title="Administer your site!">admin</a></li> <li><a href="<?php echo base_url(); ?> " title="Return to my website.">home</a></li>