Merge "WLFilters: adapt to customized watchlist-details"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 31 Aug 2017 17:37:39 +0000 (17:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 31 Aug 2017 17:37:39 +0000 (17:37 +0000)
commita17f454858241892214aa48a55a113ff0e3f718a
tree6b5a33818f2aca289312474428da6c79339c072a
parent956f10ddf06bcb0261d18361efff7a9cc386e6be
parent8148d9082d7f043e9a7b510b06e60af3b8182887
Merge "WLFilters: adapt to customized watchlist-details"