Merge "RCFilters: Add marker between old and new changes in enhanced mode"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 17 Aug 2017 05:56:42 +0000 (05:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 17 Aug 2017 05:56:42 +0000 (05:56 +0000)
commit72e689e843b839a2eb5d5382301449c69c7e0587
treeae6b402f04171b5db921b8cf52c9d3fa2a7094e3
parent9c679cf7c94289d1a48ab5b74af8bea89c5219bc
parentd65f49aa78968d97b9d602ec084331995c1e5351
Merge "RCFilters: Add marker between old and new changes in enhanced mode"
includes/changes/EnhancedChangesList.php
includes/templates/EnhancedChangesListGroup.mustache