Merge "Generalize recentChangesFlags rollup"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 2 Apr 2016 16:21:12 +0000 (16:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 2 Apr 2016 16:21:12 +0000 (16:21 +0000)
commit54277fb7d5609c26b83d4fc7543b2c826fcae0bf
tree77b9d8a5cc3d084ee5cde61d52024b586cf8d78e
parentde173513571f4b4a1dd555468c4f57cca7a359ba
parent78f109bfddd0af19c910ad84f03a7b847fd00145
Merge "Generalize recentChangesFlags rollup"
includes/DefaultSettings.php