Merge "Revert "Make enhanced recent changes and extended watchlist default""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 21 Oct 2014 18:55:23 +0000 (18:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 21 Oct 2014 18:55:23 +0000 (18:55 +0000)
commitfbcfc191b14a427f5d245cded17dc1108023414b
treef9ea9760e8662c0593fc9dcd781b406f68d8f822
parentc864dc39ca1cd9e1a2e097eb654fba674795a9d1
parent820ec3930d694f06fc62e652daea7506f3027162
Merge "Revert "Make enhanced recent changes and extended watchlist default""
RELEASE-NOTES-1.25
includes/DefaultSettings.php