Merge "API: Remove XML tag highlighting from non-XML formats"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 23 Sep 2014 19:52:19 +0000 (19:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 23 Sep 2014 19:52:19 +0000 (19:52 +0000)
commit17d5db26237fe83bcbc0c52e607d80a7fd6abc4d
tree3bdc677bb95bc596a4af1ad42a4d18c4ead15bba
parent0bba9db1694f2d9c21303089a16d22e54700f77a
parent33339c68eb03ced47eff33b9f6678a92e5931c95
Merge "API: Remove XML tag highlighting from non-XML formats"