'.$conf['title'].'', 'accesskey="h" title="[H]"' ) /* @todo: obviously don't use tpl_getFavicon, but make a new function (or use a config option?) */ ?>

    would be: tpl_action('edit',0,'li') */ if ($_SERVER['REMOTE_USER']) { echo '
  • '; tpl_userinfo(); /* 'Logged in as ...' */ echo '
    • '; } tpl_action('admin', 1, 'li'); tpl_action('profile', 1, 'li'); tpl_action('register', 1, 'li'); tpl_action('login', 1, 'li'); ?>