Merge "Make HTMLTagFilter disappear totally when $wgUseTagFilter = false"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 16 Feb 2015 13:18:46 +0000 (13:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 16 Feb 2015 13:18:46 +0000 (13:18 +0000)
commitc928d9cfb7cd26965aefbd7640f010cf9da9f216
treefd884a38df5cbf22a8f172afb758cbfe45ce3fb0
parent85d6495c9adc8e8eb3f914ff600cfd89e71d16f1
parent83795eaecec92ced9297a531fa174c29153347d4
Merge "Make HTMLTagFilter disappear totally when $wgUseTagFilter = false"