Merge "RC Filters: Hooks for highlight guided tour"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 3 Apr 2017 18:47:56 +0000 (18:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 3 Apr 2017 18:47:56 +0000 (18:47 +0000)
commitc6b1dede111e00d8993c4177c9678d17d035e5ed
tree8e87645720647d2e30a533d03f517974fc1b5cc0
parent4f43a9608fd4af27cce666c94caabb8106d50cc4
parent6d27a98f18222ef9b4201f86347119203eb05639
Merge "RC Filters: Hooks for highlight guided tour"
resources/src/mediawiki.rcfilters/mw.rcfilters.Controller.js