Remove useless $prefs array from Special:Watchlist
authorAlexandre Emsenhuber <ialex.wiki@gmail.com>
Tue, 19 Feb 2013 14:31:34 +0000 (15:31 +0100)
committerAlexandre Emsenhuber <ialex.wiki@gmail.com>
Tue, 19 Feb 2013 14:31:34 +0000 (15:31 +0100)
commit59ce08be3960aa36ab2eeb72295adab7a1f36019
tree118ab32bd92b63097bdf2740fe4d2bd4f13e2b05
parent078334ff4959b856cc84782f3cead1509bcd540e
Remove useless $prefs array from Special:Watchlist

It is a duplicate of $defaults, so instead of calling $user->get(Bool)Option()
one more time, use the already-present value in $defaults.

I know that boolean values in $defaults are casted to integer, but
WebRequest::getBool() simply casts the result of getVal() to boolean,
so there is no problem with this.

Change-Id: I2965c8c82b8cd8bfc8dee5d81a2bfa8af9e8131f
includes/specials/SpecialWatchlist.php