diff -r 35e91d16ecf5 -r 234ddd896555 plugins/SpecialUserPrefs.php --- a/plugins/SpecialUserPrefs.php Thu Jun 26 17:31:33 2008 -0400 +++ b/plugins/SpecialUserPrefs.php Thu Jun 26 18:03:04 2008 -0400 @@ -392,30 +392,17 @@ ?>