Merge "RCFilters UI: Add tooltip to highlight menu"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Mar 2017 02:19:49 +0000 (02:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Mar 2017 02:19:49 +0000 (02:19 +0000)
commit4365234401cc71820b4dd312363c265b006887b0
treeba9ae0338b491168d4856ca7968ac5e4b01ea60a
parente9ef00b600ce6b90123dde1d01e92929ca2e8d7e
parentd385d18d20677a98c467d89ce6db921176e1d9b6
Merge "RCFilters UI: Add tooltip to highlight menu"
resources/Resources.php