Use ErrorPageError extension in Special:Preferences.
authorAlexandre Emsenhuber <ialex.wiki@gmail.com>
Sun, 19 Aug 2012 08:51:23 +0000 (10:51 +0200)
committerAlexandre Emsenhuber <ialex.wiki@gmail.com>
Sun, 19 Aug 2012 08:51:23 +0000 (10:51 +0200)
commit98396c3984e8afe139bfca37ec495483360d0353
treea91601bae2c6f5c285b9caa1c11a896a7fece313
parent74a782a08246c9886f93e0496e5ec23320a19fe1
Use ErrorPageError extension in Special:Preferences.

For consistency with other errors, use an exception
when the user is not logged in.

Change-Id: I1a9cc37b57281665a5081ad65bb1e34253c64224
includes/specials/SpecialPreferences.php