Merge "Use Xml::element instead of Html::element for empty elements"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 17 Aug 2014 19:49:25 +0000 (19:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 17 Aug 2014 19:49:25 +0000 (19:49 +0000)
commitfea832ae52ad17bd68637559134942f57a35c925
tree09f0641036d897f8cbd7b17aa0a2cc0bd22e81c7
parentd1631fe35be54bbbdcd09db97836b08832d73d8a
parentd34bafa9cc27df319d9afa26f9f9b5d4eef9c3d3
Merge "Use Xml::element instead of Html::element for empty elements"
includes/specials/SpecialSearch.php