Merge "Revert "Revert "Make enhanced recent changes and extended watchlist default"""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 21 Oct 2014 20:03:10 +0000 (20:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 21 Oct 2014 20:03:10 +0000 (20:03 +0000)
commit2610395f793a778ceb4955145d1ffd9f5eb6b2f7
tree8ccf5ff3925b2119cce9dd270613b2eedad93d3b
parentfbcfc191b14a427f5d245cded17dc1108023414b
parentcee4990f2a23dd688fe08627e648bffc9165dadf
Merge "Revert "Revert "Make enhanced recent changes and extended watchlist default"""
RELEASE-NOTES-1.25
includes/DefaultSettings.php