// 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();