Merge "RCFilters UI: Add 'remove' and 'restore defaults' to filter list"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 25 Jan 2017 05:57:02 +0000 (05:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 25 Jan 2017 05:57:02 +0000 (05:57 +0000)
commit69ebd59830d4c5bae289b540feca2f000823dd78
tree0f811c93ccb35b6801c61f638fdcbbbce66937da
parent0634a3999b99e58931de837630fa6b609daefb59
parentdc3a4da2c5a3fcb52d44fe0679d74a02294d2de7
Merge "RCFilters UI: Add 'remove' and 'restore defaults' to filter list"
resources/Resources.php