Merge "RCFilters: Fix live update"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Dec 2017 18:28:30 +0000 (18:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Dec 2017 18:28:30 +0000 (18:28 +0000)
commit1cde74406eacfc572eaf8f16b9409ba2188eb8e5
treebc0d6b7d98d40fd12dce268d6839f6e657b4ba99
parent8a3e9c0e08a13d83352299b314b5d19a72594a37
parenta01142f92caeb98d54aa6de738c33fcdae11427c
Merge "RCFilters: Fix live update"
resources/src/mediawiki.rcfilters/mw.rcfilters.init.js