plugins/SpecialUserPrefs.php
changeset 1055 15ef8d2147c2
parent 960 e74741b8360b
child 1064 5a34101dfcf9
--- a/plugins/SpecialUserPrefs.php	Sat Jul 11 20:28:03 2009 -0400
+++ b/plugins/SpecialUserPrefs.php	Sat Jul 11 20:28:28 2009 -0400
@@ -296,7 +296,7 @@
   // This is not templatized because it conforms to the jBox menu standard.
   
   userprefs_show_menu();
-        
+  
   switch ( $section )
   {
     case 'Home':