if (!$CURRENT_USER['isAdmin']) { $header_links = preg_replace('|
.*|s', '', $header_links); } return $header_links; } ?>