diff -r efae425e9b98 -r 425261984266 plugins/SpecialUserPrefs.php --- a/plugins/SpecialUserPrefs.php Sun Jul 01 14:51:33 2007 -0400 +++ b/plugins/SpecialUserPrefs.php Sun Jul 01 15:00:32 2007 -0400 @@ -1,11 +1,11 @@