294   

   294   

   295   // Output the menu

   295   // Output the menu

   296   // This is not templatized because it conforms to the jBox menu standard.

   296   // This is not templatized because it conforms to the jBox menu standard.

   297   

   297   

   298   userprefs_show_menu();

   298   userprefs_show_menu();

   300   switch ( $section )

   300   switch ( $section )

   301   {

   301   {

   302     case 'Home':

   302     case 'Home':

   303       global $email;

   303       global $email;

   304       $userpage_id = $paths->nslist['User'] . sanitize_page_id($session->username);

   304       $userpage_id = $paths->nslist['User'] . sanitize_page_id($session->username);