plugins/SpecialUserPrefs.php
changeset 1055 15ef8d2147c2
parent 960 e74741b8360b
child 1064 5a34101dfcf9
equal deleted inserted replaced
1054:e6b14d33ac55 1055:15ef8d2147c2
   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();
   299         
   299   
   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);