HEADER1; if(isset($custom_header)) { echo $custom_header; } $login = $logged_in ? '
  • Logout
  • ' : '
  • Login
  • '; echo <<
    HEADER2; ?>