Merge "Drop the 'CategorizedRecentChanges' feature"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 15 Feb 2018 21:12:23 +0000 (21:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 15 Feb 2018 21:12:23 +0000 (21:12 +0000)
commitc91e94d76684f4d4df2af14c5e4fe9811741e584
treefec9ccc80916b92eaa09d6e8bc36f032ef86997d
parentbe9ac6c8c4a63f5212f59cc745115d4fc36f72aa
parent9acd5508cfaba196d69e05538d2d86ac523782b8
Merge "Drop the 'CategorizedRecentChanges' feature"
includes/DefaultSettings.php