// Additionally admin?
if (IS_ADMIN()) {
// Add it
- $username .= " ({!_ADMIN_SHORT!})";
+ $username .= " ({--_ADMIN_SHORT--})";
} // END - if
} else {
// Hmmm, logged in and no valid userid?
- $username = "<em>{!_UNKNOWN!}</em>";
+ $username = "<em>{--_UNKNOWN--}</em>";
// Destroy session
destroy_user_session();