Merge "Remove useless $prefs array from Special:Watchlist"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 19 Feb 2013 23:14:33 +0000 (23:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 19 Feb 2013 23:14:33 +0000 (23:14 +0000)
commitde5821044d4a20ba4c532aa58937f79ed03d269c
treed620d61a06f84b3d4a466e414ca3900e448a96a4
parent938a45abf059596bd33c55c3cbec13084760bd6f
parent59ce08be3960aa36ab2eeb72295adab7a1f36019
Merge "Remove useless $prefs array from Special:Watchlist"