Esempio n. 1
0
function redirect($url, $code = 302)
{
    external_redirect(pathto($url, false), $code);
}
Esempio n. 2
0
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>