function redirect($url, $code = 302) { external_redirect(pathto($url, false), $code); }
pathto(''); ?> "><?php echo $title; ?> </a></h1> <nav> <ul> <li><a href="<?php pathto('api/information'); ?> ">JSON</a></li> <li><a href="<?php pathto('admin/'); ?> ">admin</a></li> <?php if (LoginManager::logged_in()) { ?> <li><form action="<?php pathto('logout'); ?> " method="post"><a href="#" onclick="this.parentNode.submit();">logout</a></form></li> <?php } ?> </ul> </nav> </header>