diff --git a/user_portal.php b/user_portal.php index 8cca58e96d..38e0651496 100644 --- a/user_portal.php +++ b/user_portal.php @@ -1197,14 +1197,14 @@ if ($show_menu) { echo '